let userdef_mem_apply m cl = match cl with
    | Mem -> F.wrap (F.var m.vbits)
    | Alloc -> F.wrap (F.var m.valloc)