38 		{	printf("(%s) ", oX->n->name);  in whichproc()
125 			printf("spin: cannot find trail file\n");  in match_trail()
130 	printf("spin: warning, \"%s\" is newer than %s\n",  in match_trail()
157 		{	printf("-------------\n");  in match_trail()
158 			printf("depth-limit (-u%d steps) reached\n", cutoff);  in match_trail()
169 		{	printf("%3d: proc %d, no matching stmnt %d\n",  in match_trail()
186 					printf("%3d: claim terminates\n",  in match_trail()
189 					printf("%3d: proc %d terminates\n",  in match_trail()
195 			printf("%3d: stop error, ", depth);  in match_trail()
196 			printf("proc %d (i=%d) trans %d, %c\n",  in match_trail()
202 		{	printf("i=%d pno %d\n", i, pno);  in match_trail()
212 			{	printf("%3d: no process %d (step %d)\n", depth, pno - Have_claim, nst);  in match_trail()
213 				printf(" max %d (%d - %d + %d) claim %d",  in match_trail()
216 				printf("active processes:\n");  in match_trail()
218 				{	printf("\tpid %d\tproctype %s\n", X->pid, X->n->name);  in match_trail()
220 				printf("\n");  in match_trail()
223 			{	printf("%3d:\tproc  %d (?) ", depth, pno);  in match_trail()
245 						printf("\t[");  in match_trail()
247 						printf("]\n");  in match_trail()
251 					if (xspin) printf("\n");  in match_trail()
278 					printf("\t[");  in match_trail()
280 					printf("]");  in match_trail()
282 					printf("\t<merge %d now @%d>",  in match_trail()
285 					printf("\n");  in match_trail()
289 				if (xspin) printf("\n");  in match_trail()
293 					printf("\ttransition failed\n");  in match_trail()
312 				printf("Never claim moves to line %d\t[", lastclaim);  in match_trail()
314 				printf("]\n");  in match_trail()
316 	printf("spin: trail ends after %d steps\n", depth);  in match_trail()
325 	{	printf("step %d: proc  %d ", d, p); whichproc(p);  in lost_trail()
326 		printf("(state %d) - d %d\n", n, l);  in lost_trail()