.so man3/sqrt12.f.3