let
v_list_memory vl =
List
.map v_memory vl