Documented ok_vec_at