Module Region.Create.Vmap


module Vmap: Cil_datatype.Varinfo.Map