/* * This file is included by 'init/main.c' */ extern voidcheck_bugs(void);