const SCHED_FLAG_KEEP_POLICY: u64 = 0x08;