RELOAD validate_recipient
CATCH invalid_recipient 13 1
LOAD max_amount 10
MAP max_amount
MOUT back 0
HALT
INCMP _ 0
LOAD validate_amount 64
LOAD get_recipient 12
LOAD get_sender 64
INCMP transaction_pin *