let print_nd_and_mark f (nd, m) =
  let str = match nd with
  | T.CwNode -> ""
  | T.CwAddrDpds -> "addr->"
  | T.CwDataDpds -> "data->"
  | T.CwCtrlDpds -> "ctrl->"
  in Format.fprintf f "%s%a" str Marks.pretty_mark m