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