Use pre-computed symbol table.