/usr/bin/numdiff libgmp.so.10,libc.so.6
/usr/bin/ndselect libc.so.6
