sub version { #print version number and exit
  print "$VERSION\n";
  exit(0);
}