void main(int argc, char*argv[]) {
  printf("Hello %s\n", argv[0]);
  exit(1);
}