pub const NID_id_GostR3411_94_with_GostR3410_2001: u32 = 807;