# # image should be loaded at 0x02f00000 # TEXT_BASE = 0x02f10000