let userdef_closure mem cl = match cl with
    | Mem _ -> F.wrap (mbits_of_mem mem)
    | Alloc _ -> F.wrap (malloc_of_mem mem)