let compare (symbol1: symbol) (symbol2: symbol) : int =
  Tools.compare_int (id symbol1) (id symbol2)