--- a/utils/testparse.c	Mon Apr 16 23:46:42 2012 -0400
+++ b/utils/testparse.c	Tue Apr 17 00:07:33 2012 -0400
@@ -370,6 +370,8 @@
                 printf("    * %d: %s", s->index, typenames[(int) s->type]);
                 if (s->name != NULL)
                     printf(" (\"%s\")", s->name);
+                if (s->texbem)
+                    printf(" [TEXBEM]");
                 printf("\n");
             } // for
         } // else