Constant USER_RE_DUP_MAX

pub const USER_RE_DUP_MAX: c_int = 9;