def fact :=
  \match as integer with
    | #1 -> 1
    | $x -> x * fact (x - 1)

fact 30000