macro fact(n)
  factorial(n)
end