let
rewrite_void_pointer file =
let
visitor =
new
rewriteVoidPointer
in
visitFramacFile visitor file