pub const THREAD_PRIORITY_HIGHEST: THREAD_PRIORITY = 2i32;