sig val datatype : string val param : Cil_types.varinfo -> MemVar.param end