Constant NUM_PREINTERNED_ANON_BOUND_TYS_V 

const NUM_PREINTERNED_ANON_BOUND_TYS_V: u32 = 20;