Symbol: __txn_regop_print