libmoduleampi.so \
		:st = .text 0x0000003ffff40000, 0x00000000000a0000:\
		:st = .data 0x0000003ffffe0000, 0x0000000000020000:
libmoduleampif.so \
		:st = .text 0x0000003fffe80000, 0x00000000000a0000:\
		:st = .data 0x0000003ffff20000, 0x0000000000020000:
libampi-compat.so \
		:st = .text 0x0000003fffe60000, 0x0000000000010000:\
		:st = .data 0x0000003fffe70000, 0x0000000000010000:
