sig val rte_annots : (Stdlib.Format.formatter -> 'a -> unit) -> 'a -> Cil_types.kernel_function -> Env.t -> Cil_types.code_annotation list -> Env.t end