#lang transd

MainModule: {
    Ack: Lambda<Int Int Int>(λ m Int() n Int()
        (if (not m) (ret (+ n 1)))
        (if (not n) (ret (exec Ack (- m 1) 1)))
        (ret (exec Ack (- m 1) (exec Ack m (- n 1))))
    ),
    _start: (λ (textout (exec Ack 3 1) "\n"
                        (exec Ack 3 2) "\n"
                        (exec Ack 3 3)))
}