let userdef_closure mem (varinfo,_lparam) =
    F.var (get_var ~create:true mem varinfo)