all as-typed-vector tests are passing.