TEXT_BASE = 0xa1700000