let retype_array_variables file =
(* Enforce the prototype of malloc to exist before visiting anything.
It might be useful for allocation pointers from arrays
*)
ignore (Common.malloc_function ());
ignore (Common.free_function ());
let visitor = new retypeArrayVariables in
visit_and_push_statements visit_and_update_globals visitor file