TEXT_BASE = 0x73f00000