+ if (c == '\t') label++;
+ }
+ return label;
+}
+
+uint16_t
+check_label(size_t * labels, uint16_t label, size_t * pc)
+{
+ if (!labels[label]) {
+ fprintf(stderr, "Trying to process label 0x%X.\n", label);
+ ws_die(pc, "uninitialized label (forgot an include?)");