factorial (n : int) : int =
if n == 0
| return 1
| return n * factorial(n - 1)
result : int = factorial(5)
@write(result)