libxrml2mgf.so \
		:st = .text 0x5ffd0000, 0x00020000:\
		:st = .data 0x5fff0000, 0x00010000:
