A64_CBZ
emit(A64_CBZ(1, tmp, 2), ctx);
*branch = cpu_to_le32(A64_CBZ(1, A64_R(0), offset));
*branch3 = cpu_to_le32(A64_CBZ(1, prg, off));