Adding 32b padding to writeMem32