method vtype ty =
if isVoidPtrType ty then
let attr = typeAttr ty in
ChangeTo (typeAddAttributes attr charPtrType)
(*
else if isCharType ty then
(* Yannick: All (un)signed chars changed into char for now ...
Claude: why ????
*)
let attr = typeAttr ty in
ChangeTo (typeAddAttributes attr charType)
*)
else DoChildren