sig
  type data = Inout_type.t
  val memo :
    (Cil_types.kernel_function -> data) -> Cil_types.kernel_function -> data
  val self : State.t
end