let get_symbol_from_fd_symbol (symbol: symbol) : symbol =
if is_fd_symbol symbol then begin
try
Tools.StringTable.find global.symbols symbol.pretty
with
| Not_found ->
failwith ("Symbol.get_symbol_from_fd_symbol: unknown: " ^ symbol.name)
end
else
failwith ("Symbol.get_symbol_from_fd_symbol: no fd symbol: " ^ symbol.name)