(module Cil_datatype.Code_annotation.Map)