pub type PipeId = u32;
Identifier for a pipe. Allocated from the same unified counter as servers and clients so ids never collide across kinds.