TEXT_BASE = 0xc0000000