let userdef_mem_apply m = function
    | Fclos(k,ap,vinfo) -> F.var (get_c_funvar m k vinfo ap)
    | Mclos  mc -> M.userdef_mem_apply m.mem mc