Constant BIGN_WITH_HBELT 

pub const BIGN_WITH_HBELT: ObjectIdentifier;