/* _dict.cc 29/05/2000 22.21.34 */
/* kernelconf.cc 27/03/2002 14.44.36 */
/* kernelconf_edit.cc 10/12/2002 16.11.26 */
int kernelconf_edit (void);
int kernelconf_probe (bool sim);
/* sysctl.cc 10/12/2002 16.14.14 */