builtins. a recursive factorial function works.