Constant NUM_PREINTERNED_TY_VARS

const NUM_PREINTERNED_TY_VARS: u32 = 100;