let proc_defs vs iosh f =
  let pd vi =
    let newi = f() in
    (*if !debug then
      ignore (E.log "proc_defs: genning %d\n" newi);*)

    iosh_replace iosh newi vi
  in
  UD.VS.iter pd vs