Symbol: to_hr_opcode