Hmm... soso there are a bunch of memory locations with their virtual addresses implicitly converted? WTF? Why can't I use 0x80000000 as a virtual address? And what else can't I use?