let
length ra = ra.vlix + 1