let userdef_closure mem = function
    | Mem _ -> F.wrap mem.store
    | Alloc _ -> F.wrap mem.talloc