DEF fac(n) n <= 1 | :"*":foldl(ALL 1:to(n));