Constant NUM_PREINTERNED_RE_BOUND_CANONICAL_ANONS 

const NUM_PREINTERNED_RE_BOUND_CANONICAL_ANONS: u32 = 20;