let to_list ra = to_list_aux ra ra.vlix []