I\'ve written the following factorial function which can use tail call recursion. I\'ve added in putchar(\'x\') just so I can see it is running:
factorial
putchar(\'x\')