Constant BASH_PRG_AE_1282 

pub const BASH_PRG_AE_1282: ObjectIdentifier;