public long getCeiling() {
   return datafile.getCeiling();
 }