libtcl8.0.so \
		:st = .text 0x000003ffbff70000, 0x0000000000080000:\
		:st = .data 0x000003fffffe0000, 0x0000000000020000:\

