Constant WITH_SCHEDULING_OPTIONS

pub const WITH_SCHEDULING_OPTIONS: u64 = 0x55e73fdbeade0b0b; // 6_189_986_426_614_844_171u64