Constant WITH_SCHEDULING_OPTIONS

pub const WITH_SCHEDULING_OPTIONS: u64 = 0x55e73fdbeade0b0b;