LOAD transaction_reset 0
MOUT back 0
HALT
LOAD validate_recipient 20
INCMP _ 0
INCMP amount *