Constant NID_issuing_distribution_point 

pub const NID_issuing_distribution_point: c_int = 770;