(module Cil_datatype.Varinfo)