tag	line	file	source code
execute_command	137	init/main.c	char *execute_command = 0;
execute_command	467	init/main.c	execute_command = line;
execute_command	732	init/main.c	if (!execute_command) {
execute_command	746	init/main.c	execute_command ? execute_command : "/bin/sh",