/* Tests an apparent bug in Linux 2.2.16-22 NFS */
/* Last edited on 2001-11-02 21:01:02 by stolfi */

#include <stdio.h>

int main(int argc, char **argv)
{
  char *name = "/home/amelia/stolfi/hcgl/tests-for-export/ceramic-3/data/multiscale/0066/f002.lbl";
  FILE *rd1;
  FILE *rd2;
  rd1 = fopen(name, "r");
  if (rd1 == NULL) { fprintf(stderr, "file 1 not found!\n"); }
  rd2 = fopen(name, "r");
  if (rd2 == NULL) { fprintf(stderr, "file 2 not found!\n"); }
  fprintf(stderr, "test OK.\n");
  return ((rd1 == NULL) == (rd2 == NULL));
}