TEXT_BASE = 0x80200000