(module Cil_datatype.Global_annotation.Set)