libmodulearmci.so \
		:st = .text 0x000003ffbffc0000, 0x0000000000040000:\
		:st = .data 0x000003ffffff0000, 0x0000000000010000:\

