let debug_print fmt vs = VS.fold
    (fun vi _d ->
      Format.fprintf fmt "name: %s id:%d " vi.vname
        vi.vid)
    vs ();
  Format.fprintf fmt "@\n"