method vvdec v =
    if isStructOrUnionType v.vtype && not v.vformal then
      begin
        v.vtype <- mkTRef v.vtype;
        varset := VarinfoSet.add v !varset
      end;
    DoChildren