#import nat

#cast %nL

demo = successor* <325,32,67,1,3,7,315>