165 explode(const char *defs)  in explode()  argument
172 	if (strstr(defs, "#machine(" /* ) */))  in explode()
173 		return defs;  in explode()
174 	if (!strstr(defs, def))  in explode()
175 		return defs;  in explode()
179 	for (ptr = defs; (bptr = strstr(ptr, def)) != NULL; ptr = eptr + 1) {  in explode()
185 			    pname, defs);  in explode()
187 			return defs;  in explode()
194 			    pname, defs);  in explode()
196 			return defs;  in explode()
214 	    (void) fprintf(stderr, "%s: invalid input `%s'\n", pname, defs);  in explode()
215 	    return defs;  in explode()
228     char defs[INBUFSIZE];  in main()  local
256 	switch (token = findtoken(gettoken(&ptr, defs))) {  in main()
294 	    if (gettoken(&ptr, defs) == NULL) {  in main()
305 		explode(stmt), defs);  in main()
309 	    if (state != S_CODE && *defs != '\0') {  in main()
336 	    tok = gettoken(&ptr, defs);  in main()
344 		    (void) fprintf(stderr, "%s: \"%s\", %d: No defs\n",  in main()
352 		(void) fprintf(stdout, "#if (%s)\n", explode(defs));  in main()
358 				   explode(defs), keyword[token]);  in main()
375 	    if (gettoken(&ptr, defs))  in main()
376 		(void) fprintf(stdout, "    /* %s */\n", defs);  in main()