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