private static String theBitsName(SIRFilter f) {
   // assuming that a filter manages at most one C- stype file
   // pointer, what is that file pointer named?
   return f.getName() + "__the_bits";
 }