Constant capsules_extra::tutorials::encryption_oracle_chkpt5::DRIVER_NUM

pub const DRIVER_NUM: usize = 0x99999;