fun fact(n: int): int =
  loop (out = 1) = for i < n do
    out * (i+1)
  in out