let userdef_fun_closure env (vinfo,_) =
    F.var(get_funvar env vinfo)