85 	printf("total memory used: %9ld\n", All_Mem);  in tl_stats()
86 	printf("largest stack sze: %9d\n", Stack_mx);  in tl_stats()
137 		default :	printf("spin -f: saw '-%c'\n", argv[1][1]);  in tl_main()
144 nogood:		printf("usage:\tspin [-v] [-n] -f formula\n");  in tl_main()
145 		printf("	-v verbose translation\n");  in tl_main()
146 		printf("	-n normalize tl formula and exit\n");  in tl_main()
202 		printf("Unknown token: ");  in dump()
212 	case ALWAYS:	printf("[]"); break;  in tl_explain()
213 	case EVENTUALLY: printf("<>"); break;  in tl_explain()
214 	case IMPLIES:	printf("->"); break;  in tl_explain()
215 	case EQUIV:	printf("<->"); break;  in tl_explain()
216 	case PREDICATE:	printf("predicate"); break;  in tl_explain()
217 	case OR:	printf("||"); break;  in tl_explain()
218 	case AND:	printf("&&"); break;  in tl_explain()
219 	case NOT:	printf("!"); break;  in tl_explain()
220 	case U_OPER:	printf("U"); break;  in tl_explain()
221 	case V_OPER:	printf("V"); break;  in tl_explain()
223 	case NEXT:	printf("X"); break;  in tl_explain()
225 	case TRUE:	printf("true"); break;  in tl_explain()
226 	case FALSE:	printf("false"); break;  in tl_explain()
227 	case ';':	printf("end of formula"); break;  in tl_explain()
228 	default:	printf("%c", n); break;  in tl_explain()
237 	printf("tl_spin: ");  in tl_non_fatal()
239 		printf(s1, s2);  in tl_non_fatal()
241 		printf(s1);  in tl_non_fatal()
243 	{	printf(", saw '");  in tl_non_fatal()
245 		printf("'");  in tl_non_fatal()
247 	printf("\ntl_spin: %s\n---------", uform);  in tl_non_fatal()
249 		printf("-");  in tl_non_fatal()
250 	printf("^\n");  in tl_non_fatal()