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