Constant NUM_PREINTERNED_TY_VARS 

const NUM_PREINTERNED_TY_VARS: u32 = 100;