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