let
real_length ra =
Weak
.length ra.ar