sig
  type returns_clause =
      Cil_types.stmt * Cil_types.behavior * Cil_types.identified_predicate
  type goto_annot = Cil_types.stmt * Cil_types.code_annotation
  type callback = Oneret.returns_clause -> Oneret.goto_annot list -> unit
  val encapsulate_local_vars : Cil_types.fundec -> unit
  val oneret : ?callback:Oneret.callback -> Cil_types.fundec -> unit
end