Symbol: nand_op_instr_type