fun fact(x : int) : int is
  if x = 0 then 1 else x * fact(x - 1) end
end  5;