Symbol: PPC_OPCODE_405