+#ifndef LINT
+ if (ititle[0] == '\0') {
+ cp = ftitle;
+ cq = ititle;
+ while ( *cp )
+ *cq++ = *cp++;
+ *cq = '\0';
+ *--cq = '\0';
+ for ( cp = ititle+1; *(cp-1); cp += 8 ) {
+ pstab(cp, N_SO);
+ if (gdebug) printf("0,0,LL%d\n", labelno);
+ }
+ *cq = '"';
+ printf("LL%d:\n", labelno++);
+ }
+#endif