factorial :: fn n: int -> int {
    if n <= 1 {
        ret 1
    }
    ret n * factorial(n - 1)
}

start :: fn {
    factorial(5) <=> 120
    factorial(6) <=> 720
    factorial(12) <=> 479001600
}