# # image should be loaded at 0x00f10000 # TEXT_BASE = 0x00200000