BEGIN {
   split("", arr1);
   printf("arr1: len=%s\n", length(arr1))
   print "readall returns", readall("/tmp/save.state");
   printf("arr1: len=%s\n", length(arr1))
}