.so man3/sqrt17.f.3