Constant capsules_extra::tutorials::encryption_oracle_chkpt2::DRIVER_NUM

source ยท
pub const DRIVER_NUM: usize = 0x99999;