let new_to_old_mem_map =
  List.map2
    (fun param arg ->
      memory_map#map_var_to param arg)