pub const NID_id_GostR3411_94_with_GostR3410_94: u32 = 808;