fac : fn int -> int = fn a: int -> int {
    if a <= 1 {
        ret 1
    }
    b := fac(a - 1)
    ret a * b
}
print fac(5)

// print b(fn a: int -> {
//     print a
// })