let rev_fwd = function
  | Minus -> "rev"
  | Plus -> "fwd"