tag	line	file	source code
check_bugs	372	init/main.c	extern void check_bugs(void);
check_bugs	423	init/main.c	check_bugs();