pub const DEFAULT_PRIORITY: Priority = 1000;
The default priority for a thread. If chaos mode is not enabled, all threads have this priority.