fcache_status (FILE *f)
fcache_status (void)
fcache_status (FILE *f){    fprintf (f, "%lu (%lu-%lu) files\n"	     "%lu (%lu-%lu) bytes\n",	     usedvnodes, lowvnodes, highvnodes,	     usedbytes, lowbytes, highbytes);    hashtabforeach (hashtab, print_entry, f);}