pub const NRC_DUPNAME: u32 = 13u32;