#### Test program for goto

section data
format:
string "%d\x0a\x00"

section functions
import printf
export main

main:
function argc argv
    let n 10
lbl:
    call printf format n
    set n sub n 1
    ifgt n 0
        goto lbl
    end if
    return 0
end function
