a.so \
		:st = .text 0x000003ffbffe0000, 0x0000000000010000:\
		:st = .data 0x000003ffffff0000, 0x0000000000010000:\

