Constant nginx::NID_sect193r2

pub const NID_sect193r2: u32 = 725;