pub type PlainIndex = u64;
cpu_os_threads
This is a purely implementational detail and should not be of any concern to the end user.