Zero-extend 32-bit register writes on x86-64 ##esil