Constant BASH_PRG_HASH_3842 

pub const BASH_PRG_HASH_3842: ObjectIdentifier;