121 					printf("spin: %s:%d, redundant skip\n",  in check_sequence()
160 	{	printf("error: (%s:%d) label %s placed incorrectly\n",  in close_seq()
166 			printf("=====> stmnt unless Label: stmnt\n");  in close_seq()
167 			printf("sorry, cannot jump to the guard of an\n");  in close_seq()
168 			printf("escape (it is not a unique state)\n");  in close_seq()
171 			printf("=====> instead of  ");  in close_seq()
172 			printf("\"Label: stmnt unless stmnt\"\n");  in close_seq()
173 			printf("=====> always use  ");  in close_seq()
174 			printf("\"Label: { stmnt unless stmnt }\"\n");  in close_seq()
177 			printf("=====> instead of  ");  in close_seq()
178 			printf("\"atomic { Label: statement ... }\"\n");  in close_seq()
179 			printf("=====> always use  ");  in close_seq()
180 			printf("\"Label: atomic { statement ... }\"\n");  in close_seq()
183 			printf("=====> instead of  ");  in close_seq()
184 			printf("\"d_step { Label: statement ... }\"\n");  in close_seq()
185 			printf("=====> always use  ");  in close_seq()
186 			printf("\"Label: d_step { statement ... }\"\n");  in close_seq()
189 			printf("=====> instead of  ");  in close_seq()
190 			printf("\"{ Label: statement ... }\"\n");  in close_seq()
191 			printf("=====> always use  ");  in close_seq()
192 			printf("\"Label: { statement ... }\"\n");  in close_seq()
195 			printf("=====>instead of\n");  in close_seq()
196 			printf("	do (or if)\n");  in close_seq()
197 			printf("	:: ...\n");  in close_seq()
198 			printf("	:: Label: statement\n");  in close_seq()
199 			printf("	od (of fi)\n");  in close_seq()
200 			printf("=====>always use\n");  in close_seq()
201 			printf("Label:	do (or if)\n");  in close_seq()
202 			printf("	:: ...\n");  in close_seq()
203 			printf("	:: statement\n");  in close_seq()
204 			printf("	od (or fi)\n");  in close_seq()
207 			printf("cannot happen - labels\n");  in close_seq()
336 			if (0) printf("link %d, {%d .. %d} -> %d (ntyp=%d) was %d\n",  in loose_ends()
442 	printf("attach %d (", e->frst->Seqno);  in escape_el()
444 	printf(")	to %d (", f->Seqno);  in escape_el()
446 	printf(")\n");  in escape_el()
505 	printf("unless element (%d,%d):\n", e->Seqno, t->Seqno);  in unless_seq()
507 	{	Element *x; printf("\t%d,%d,%d :: ",  in unless_seq()
512 			printf("(%d)", x->Seqno);  in unless_seq()
513 		printf("\n");  in unless_seq()
538 	printf("add_el %d after %d -- ",  in add_el()
541 	printf("\n");  in add_el()
581 		printf("label %s\n", l->s->name);  in show_lab()
683 	printf("ref to label '%s' in proctype '%s', search:\n",  in fix_dest()
686 		printf("	%s in	%s\n", l->s->name, l->c->name);  in fix_dest()
695 	{	printf("spin: label '%s' (proctype %s)\n", c->name, a->name);  in fix_dest()
698 		printf("spin: cannot remote ref a label inside the same proctype\n");  in fix_dest()
797 	printf(s);
799 		printf("\t");
801 	if (t->ntyp == NAME) printf(" %s ", t->sym->name);
802 	if (t->ntyp == CONST) printf(" %d ", t->val);
819 	printf(s);
821 		printf("\t");
829 			printf(" -- %s %p -- ", z->ini->rgt->sym->name, z->ini->rgt->sym);
833 			printf(" == %s %p == ", z->Snm->name, z->Snm);
858 	{	printf("index type %s %p ==\n", s->Snm->name, s->Snm);  in match_struct()
859 		printf("chan type  %s %p --\n\n", t->ini->rgt->sym->name, t->ini->rgt->sym);  in match_struct()
1020 			  printf("spin: warning, %s:%d, atomic inside %s (ignored)\n",  in walk_atomic()
1028 			printf("spin: warning, %s:%d, d_step inside ",  in walk_atomic()
1031 			{	printf("d_step (ignored)\n");  in walk_atomic()
1034 			printf("atomic\n");  in walk_atomic()
1043 			{ printf("spin: error, %s:%d, unless in d_step (ignored)\n",  in walk_atomic()
1062 		{	printf("label	%s	%d	",  in dumplabels()
1065 				printf("<%s>\n", l->c->name);  in dumplabels()
1067 				printf("<%s i%d>\n", l->c->name, l->uiid);  in dumplabels()