.so man3/sqrt13.f.3