TEXT_BASE = 0x8ff00000