TEXT_BASE = 0x84000000