Constant NUM_PREINTERNED_RE_VARS

const NUM_PREINTERNED_RE_VARS: u32 = 500;