ldd rshfor.native
	linux-vdso.so.1 =>  (0x00007fff6b5fb000)
	libz3.so => /usr/lib/libz3.so (0x00007fea1d4b1000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fea1d15b000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fea1cf57000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fea1cb77000)
	librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007fea1c96f000)
	libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007fea1c5e9000)
	libgomp.so.1 => /usr/lib/x86_64-linux-gnu/libgomp.so.1 (0x00007fea1c3ba000)
	libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007fea1c1a3000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007fea1bf84000)
	/lib64/ld-linux-x86-64.so.2 (0x00007fea1eee2000)