sig
  val get : unit -> Cabs.file list
  val set : Cabs.file list -> unit
  val self : State.t
end