static F0<Bool> pred_fileSizeChanged(final File f) {
  ret new F0<Bool>() {
    long lastSize = fileSize(f);
    
    public Bool get() {
      long size = fileSize(f);
      if (size == lastSize) false;
      ret true with lastSize = size;
    }
  };
}