let real_lix ra = real_length ra - 1