Constant BASH_PRG_HASH_5122 

pub const BASH_PRG_HASH_5122: ObjectIdentifier;