Constant NUM_PREINTERNED_RE_VARS 

const NUM_PREINTERNED_RE_VARS: u32 = 500;