added Kernel1:PROCS: to procs.c