1 /*
2  * This file is included by 'init/main.c'
3  */
4 
5 extern void
6 check_bugs(void);
7