pub const HAVE_DUP3: u32 = 1;