method
private
add_map map vinfo value =
map :=
VInfoMap
.add vinfo value !map