pub const NID_id_GostR3411_94_with_GostR3410_2001: i32 = 807;