havekids          374 kernel/proc.c    int havekids, pid;
havekids          381 kernel/proc.c      havekids = 0;
havekids          387 kernel/proc.c          havekids = 1;
havekids          407 kernel/proc.c      if(!havekids || killed(p)){