proc fact(n)
  if (n == 1) then
    return 1
  else
    return (n * fact((n - 1)))
  endif
endproc
println(fact(10000))