137 	ftrace = stdout;  in main()
952 	if (ftrace != 0) {  in msglog()
953 		if (ftrace == stdout)  in msglog()
954 			(void) fputs("in.routed: ", ftrace);  in msglog()
955 		(void) vfprintf(ftrace, p, args);  in msglog()
956 		(void) fputc('\n', ftrace);  in msglog()
1019 	if (ftrace != 0) {  in msglim()
1020 		(void) vfprintf(ftrace, p, args);  in msglim()
1021 		(void) fputc('\n', ftrace);  in msglim()
1061 	if (ftrace != 0) {  in writelog()
1062 		if (ftrace == stdout)  in writelog()
1063 			(void) fputs("in.routed: ", ftrace);  in writelog()
1064 		(void) vfprintf(ftrace, p, args);  in writelog()
1065 		(void) fputc('\n', ftrace);  in writelog()