let
posq x ra = posq_aux 0 x ra