pub const NID_id_regCtrl_pkiPublicationInfo: u32 = 317;