let userdef_mem_signature m = Varinfo.Hashtbl.fold (fun varinfo fvar signature -> (fvar,Var varinfo)::signature) m.vars [m.x_alloc,Alloc]