havekids          371 kernel/proc.c    int havekids, pid;
havekids          378 kernel/proc.c      havekids = 0;
havekids          384 kernel/proc.c          havekids = 1;
havekids          404 kernel/proc.c      if(!havekids || killed(p)){