We've been using `u64` to represent a process ID everywhere, but probably should have a new type for this.