Implemeneted ok_vec_at and associated unit tests.