err_file_to_small   56 include/io_dof.h 	else err_file_to_small(filename);
err_file_to_small   72 include/io_dof.h 	else err_file_to_small(filename);
err_file_to_small   89 include/io_dof.h 	  err_file_to_small(filename);