const PREINTERNED_SYMBOLS_COUNT: u32 = 1770u32;