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