op_check_tdz does not def its argument