sig
  val datatype : string
  val param : Cil_types.varinfo -> MemoryContext.param
  val iter :
    ?kf:Cil_types.kernel_function ->
    init:bool -> (Cil_types.varinfo -> unit) -> unit
end