we can write 0x00 at 0xf4000, but nothing else... :(