v1 = o1;
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
v1 = o1;
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
v1 = o1;
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;
// // skip since adding 0u does nothing
// d = rotr64(d ^ a, 32)
+ v24 = v_2425.x;
+ v25 = v_2425.y;
v_2425 = v_2425 ^ v_01;
v24 = v_2425.y;
v25 = v_2425.x;