(* TEST *)

Format.printf "@[%@-@@-@]@.";;