Constant capsules_extra::tutorials::encryption_oracle_chkpt3::DRIVER_NUM

pub const DRIVER_NUM: usize = 0x99999;