/* SCCS PROGRAM IDENTIFICATION STRING */ char id_0debug[] "~|^`0debug.c\tV3.9E0\tJan78\n"; int k_rdebug 1; /* kernel read debug toggle */ int k_wdebug 1; /* kernel write debug toggle */