let userdef_closure mem (varinfo,_lparam) =
      var_data_term mem varinfo