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