//! Platform agnostic process

/// A process ID
pub type PID = u64;