rem: while(1) {
add: while(true) {
context: makeArgs(char *lineBuf, int *argc, char ***argv) {	int numArg;	char **args;	char *ptr;	numArg = 0;	ptr = lineBuf;	while(1) {		while (isspace((int) *ptr))			ptr++;		if (*ptr == '\0')			break;		numArg++;		while (!isspace((int) *ptr))			ptr++;	}	args = uio_malloc((numArg + 1) * sizeof (char *));	numArg = 0;	ptr = lineBuf;	while(1) {		while (isspace((int) *ptr))			ptr++;		if (*ptr == '\0')			break;		args[numArg] = ptr;		numArg++;		while (!isspace((int) *ptr))			ptr++;		if (*ptr == '\0')			break;		*ptr = '\0';		ptr++;	}	args[numArg] = NULL;	*argv = args;	*argc = numArg;}