User blob
;

main fun -> u32
    user User <- 0

    ret 0
;