Constant NUM_PREINTERNED_RE_BOUND_BOUND_ANONS_I 

const NUM_PREINTERNED_RE_BOUND_BOUND_ANONS_I: u32 = 3;