//usr/share/man/man3/erf.3.gz