RELOAD verify_pin
CATCH create_pin_mismatch pin_mismatch_flag 1
LOAD quit 0
HALT