fun factorial (n : int) : int =
    if n == 0
    | return 1
    | return n * factorial(n - 1)

result : int = factorial(5)
@write(result)