- w0_t[0] = hl32_to_64 (w0[0], w0[1]) ^ 0x3636363636363636;
- w0_t[1] = hl32_to_64 (w0[2], w0[3]) ^ 0x3636363636363636;
- w0_t[2] = hl32_to_64 (w1[0], w1[1]) ^ 0x3636363636363636;
- w0_t[3] = hl32_to_64 (w1[2], w1[3]) ^ 0x3636363636363636;
- w1_t[0] = hl32_to_64 (w2[0], w2[1]) ^ 0x3636363636363636;
- w1_t[1] = hl32_to_64 (w2[2], w2[3]) ^ 0x3636363636363636;
- w1_t[2] = hl32_to_64 (w3[0], w3[1]) ^ 0x3636363636363636;
- w1_t[3] = hl32_to_64 (w3[2], w3[3]) ^ 0x3636363636363636;
- w2_t[0] = 0x3636363636363636;
- w2_t[1] = 0x3636363636363636;
- w2_t[2] = 0x3636363636363636;
- w2_t[3] = 0x3636363636363636;
- w3_t[0] = 0x3636363636363636;
- w3_t[1] = 0x3636363636363636;
- w3_t[2] = 0x3636363636363636;
- w3_t[3] = 0x3636363636363636;
+ w0_t[0] = hl32_to_64 (w0[0], w0[1]) ^ (u64x) 0x3636363636363636;
+ w0_t[1] = hl32_to_64 (w0[2], w0[3]) ^ (u64x) 0x3636363636363636;
+ w0_t[2] = hl32_to_64 (w1[0], w1[1]) ^ (u64x) 0x3636363636363636;
+ w0_t[3] = hl32_to_64 (w1[2], w1[3]) ^ (u64x) 0x3636363636363636;
+ w1_t[0] = hl32_to_64 (w2[0], w2[1]) ^ (u64x) 0x3636363636363636;
+ w1_t[1] = hl32_to_64 (w2[2], w2[3]) ^ (u64x) 0x3636363636363636;
+ w1_t[2] = hl32_to_64 (w3[0], w3[1]) ^ (u64x) 0x3636363636363636;
+ w1_t[3] = hl32_to_64 (w3[2], w3[3]) ^ (u64x) 0x3636363636363636;
+ w2_t[0] = (u64x) 0x3636363636363636;
+ w2_t[1] = (u64x) 0x3636363636363636;
+ w2_t[2] = (u64x) 0x3636363636363636;
+ w2_t[3] = (u64x) 0x3636363636363636;
+ w3_t[0] = (u64x) 0x3636363636363636;
+ w3_t[1] = (u64x) 0x3636363636363636;
+ w3_t[2] = (u64x) 0x3636363636363636;
+ w3_t[3] = (u64x) 0x3636363636363636;