END {
  for (x in ARGV) {
    if (x != 0)
      printf("ARGV[%s]=%s\n", x, ARGV[x])
  }
  printf("a=%s\n", a)
  printf("b=%s\n", b)
}