pub const NID_sect193r2: i32 = 725;