[Bug 4099] page fault on read access to 0x00000000 in 32-bit code (0x7edc473d).