#import nat
#cast %n

test =  compose(successor,double) 3