let rec pos_aux i x ra = if i > ra.vlix then None else if unsafe_get ra i = x then Some i else pos_aux (i + 1) x ra