__opcode_thumb32_compose
return __opcode_thumb32_compose(first, second);
u32 insn = __opcode_thumb32_compose(0xfb90, 0xf0f1);
u32 insn = __opcode_thumb32_compose(0xfbb0, 0xf0f1);
u32 insn = __opcode_thumb32_compose(0x4770, 0x46c0);
instr = __opcode_thumb32_compose(instr, inst2);
instr = __opcode_thumb32_compose(instr, instr2);
instr = __opcode_thumb32_compose(tinstr, tinst2);
insn = __opcode_thumb32_compose(insn, inst2);
current_instruction = __opcode_thumb32_compose(current_instruction, instr2);