+#if 0
+ for (i=0; image_config_vars[i].token != NULL; i++)
+ printf("::: '%s'\n", image_config_vars[i].token);
+
+ printf("!!! '%lx'\n", image_config[353].token);
+
+#if 0
+ for (j=0; image_config[j].token != NULL; j++)
+ {
+ printf("!!! %d: '%lx'\n", j, image_config[j].token);
+ printf("!!! %d: '%s'\n", j, image_config[j].token);
+ }
+
+ printf("::: DONE\n");
+#endif
+#endif
+
+