Had a small thinko in the implementation of mmintrin.h _mm_add_pi32 that only shows...