TEXT_BASE = 0x80100000