let real_length ra = Weak.length ra.ar