let v_list_memory vl = List.map v_memory vl