let
pos x ra = pos_aux 0 x ra