However, this should probably replace 0x00000009 rather than 0x0000000a...