[Bug 30200] Writing 00x integers instead of 0x