Debugging test vector failure #2