#include <safearg.h>

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