Constant nginx::NID_sect113r1

pub const NID_sect113r1: u32 = 717;