Constant NUM_PREINTERNED_FRESH_INT_TYS

const NUM_PREINTERNED_FRESH_INT_TYS: u32 = 3;