tag	line	file	source code
execute_command	135	init/main.c	char *execute_command = 0;
execute_command	468	init/main.c	execute_command = line;
execute_command	722	init/main.c	if (!execute_command) {
execute_command	736	init/main.c	execute_command ? execute_command : "/bin/sh",