Unfix test-vector-length. Something else is up.