#import nat x = factorial 10 #executable& comcal = ! (%nP x)--<''>