/*
 * This file is included by 'init/main.c'
 */

extern void
check_bugs(void);