let sym_cmp = Sym.cmp