/* This function is defined in ffs.c.  */