LOAD transaction_reset 0
MOUT back 0
HALT
LOAD validate_recipient 20
RELOAD validate_recipient
CATCH invalid_recipient 13 1
INCMP _ 0
INCMP amount *