tag	line	file	source code
execute_command	187	init/main.c	char *execute_command = 0;
execute_command	608	init/main.c	execute_command = line;
execute_command	938	init/main.c	if (!execute_command) {
execute_command	952	init/main.c	execute_command ? execute_command : "/bin/sh",