Does it still work with 0x04000000?  I'm worried about it trying to access bad memory.

If it does, make sure to add a comment that it's just a random address.

-[Unknown]