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