TEXT_BASE = 0x87f00000