pub const THREAD_PRIORITY_HIGHEST: THREAD_PRIORITY;