Symbol: get_opcode_string