// warn when a process died
// dumbfix