#### Test program for set-byte

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

data:
byte 0
byte 1

section functions
import printf
export main

main:
function argc argv
    let x get-byte data 0
    call printf format x
    set x get-byte data 1
    call printf format x

    set-byte data 0 12
    set-byte data 1 42

    set x get-byte data 0
    call printf format x
    set x get-byte data 1
    call printf format x

    return 0
end function
