USER_RE_DUP_MAX
mib[1] = USER_RE_DUP_MAX;
_INT("re_dup_max", USER_RE_DUP_MAX, RE_DUP_MAX, "The maximum "