((dup 0 ==) 'succ (dup pred) '* linrec) :factorial