Use ggrt_symbol_table.