Introduce a new function to lower 256-bit vectors which are not