Symbol: NAME_OPCODE_REGISTRATION