let rev_fwd = function
  | '-' -> "rev"
  | '+' -> "fwd"
  | _ -> assert false