void add_arg(char *arg) 
static void add_arg(char *arg) 
void add_arg(char *arg){	if (strlen(command_line) + strlen(arg) + 1 > COMMAND_LINE_SIZE) {		printf("add_arg: Too many command line arguments!\n");		exit(1);	}	if(strlen(command_line) > 0)		strcat(command_line, " ");	strcat(command_line, arg);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/16c11163019879c0e1e69d3ec7d4574a80e9c77e/um_arch.c/clean/arch/um/kernel/um_arch.c