Constant NUM_PREINTERNED_FRESH_INT_TYS 

const NUM_PREINTERNED_FRESH_INT_TYS: u32 = 3;