fun {Fac1 N}
   {FoldL {List.number 1 N 1} Number.'*' 1}
end