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