Constant DIEDBSFL_AVAILABLEDEVICES 

pub const DIEDBSFL_AVAILABLEDEVICES: u32 = 4096u32;