let replace_addrof_array file =
  let visitor = new replaceAddrofArray in
  visit_and_update_globals visitor file