Constant NUM_PREINTERNED_ANON_RE_BOUNDS_V 

const NUM_PREINTERNED_ANON_RE_BOUNDS_V: u32 = 20;