Constant BASH_PRG_AE_1281 

pub const BASH_PRG_AE_1281: ObjectIdentifier;