let pos x ra = pos_aux 0 x ra