(zero_extendhisi2, extendhisi2): Expand to suitable byte sequence when