TEXT_BASE = 0x20f00000