let userdef_mem_apply mem = function | Var varinfo -> F.var (get_var mem.vars varinfo) | Alloc -> F.wrap mem.alloc