A64_B_
emit(A64_B_(A64_COND_NE, -2), ctx);
emit(A64_B_(jmp_cond, jmp_offset), ctx);
*branch1 = cpu_to_le32(A64_B_(A64_COND_CS, off));
*branch2 = cpu_to_le32(A64_B_(A64_COND_CS, off));