sig
  val name : string
  val prototype : unit -> Mem_utils.proto
  val well_typed : Cil_types.typ option -> Cil_types.typ list -> bool
end