let
to_list ra = to_list_aux ra.ar ra.vlix []