/*
 * BK Id: SCCS/s.bugs.h 1.5 05/17/01 18:14:24 cort
 */
/*
 * This file is included by 'init/main.c'
 */

extern void
check_bugs(void);