pub type Shell = (u32, u64);
Which shell a peak is for: its PID and start time, so a restarted shell that got the old one’s PID back is still a new shell.