Constant NUM_PREINTERNED_ANON_BOUND_TYS_I 

const NUM_PREINTERNED_ANON_BOUND_TYS_I: u32 = 3;