fn ack(m i32 n i32)
    endvar
    if m then
        if n then
            m 1- : m n 1- call ack call ack ret;
        else
            m 1- 1 call ack ret;
        end
    else
        n 1+ ret
    end
endfn