/* EPC Imp to C Translation Release 4 Version Apr 95 */


#include "imptoc.h"

extern void check( char *s );
int main(int argc, char **argv) {
  check(argv[1]);
  exit(0);
  return 0;
}

/* end of automatic translation */