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