pub const NID_id_set: i32 = 512;