let rec memq_aux i x ra = if i > ra.vlix then false else if unsafe_get ra i == x then true else memq_aux (i + 1) x ra