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