let
real_length ra =
Impl
.length ra.ar