.so man3/sebchvxx.f.3