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