{ symbol-table }