1: wdiff output formats                            ok
  2: report bad diff binary                          ok
  3: use pager                                       ok
  4: diff as input                                   ok