let compare : t -> t -> int = T.compare_mark