pub type ProcessId = usize;
Identifies a process. Can be used to resume it from another one and to schedule it.