Log.writeln(loc); */
Log.writeln(err);
  private void checkspace(int index, String loc) {    int max =  usedSpaceStream.getMaxValue();    if (tiles[index].usedSpace > max) {      /*      Log.write("Treadmill.traceObject: usedSpace too high at ", index);      Log.write(": ",tiles[index].usedSpace);       Log.write(", max=", max);      Log.write(" in ");      Log.writeln(loc);      */      // FIXME temporary kludge      tiles[index].usedSpace = max;    }  }