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