let
check ra ix =
Weak
.check ra.ar ix