0x00AEA400 should become 0xFFFFFFFF after the code is run