pub type ThreadId = Int;
The ID of a thread is an index into the machine’s threads list.
threads
pub struct ThreadId(/* private fields */);