let posq x ra = posq_aux 0 x ra