Constant NID_issuing_distribution_point 

pub const NID_issuing_distribution_point: i32 = 770;