swizzle_bit
v ^= swizzle_bit(9, v);
v ^= swizzle_bit(9, v) ^ swizzle_bit(10, v);
v ^= swizzle_bit(9, v) ^ swizzle_bit(11, v);
v ^= swizzle_bit(9, v) ^ swizzle_bit(10, v) ^ swizzle_bit(11, v);
v ^= swizzle_bit(9, v);
v ^= swizzle_bit(9, v) ^ swizzle_bit(10, v);
v ^= swizzle_bit(9, v) ^ swizzle_bit(11, v);
v ^= swizzle_bit(9, v) ^ swizzle_bit(10, v) ^ swizzle_bit(11, v);