capsules_extra::tutorials::encryption_oracle_chkpt5

Constant DRIVER_NUM

Source 
pub const DRIVER_NUM: usize = 0x99999;