Changed from returning void to returning int so that main()s who call done() at
[mmh] / zotnet / mf /
drwxr-xr-x   ..
-rw-r--r-- 1194 Makefile.in
-rw-r--r-- 16847 mf.c
-rw-r--r-- 1470 mf.h