let fprint_pbw ff p =
  Format.fprintf ff "%a(%a)"
    fprint_word p.u
    fprint_word p.v