TEXT_BASE = 0x23fc0000