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

libtcl.so \
		:st = .text 0x000003ffbff80000, 0x0000000000040000:\
		:st = .data 0x000003fffffe0000, 0x0000000000010000:\

