var v31: u32 = 0x5BE0CD19u;
/**
- * Twelve rounds of mixing as part of BLAKE2b compression step
+ * Twelve rounds of G mixing as part of BLAKE2b compression step
*/
+ var o0: u32;
+ var o1: u32;
+ var xor0: u32;
+ var xor1: u32;
/******************************************************************
* ROUND(0) *
******************************************************************/
+ /**
+ * ROUND 0.1
+ * G(&v0, &v1, &v8, &v9, &v16, &v17, &v24, &v25, m0, m1, m2, m3);
+ */
+
G(&v0, &v1, &v8, &v9, &v16, &v17, &v24, &v25, m0, m1, m2, m3);
G(&v2, &v3, &v10, &v11, &v18, &v19, &v26, &v27, m4, m5, m6, m7);
G(&v4, &v5, &v12, &v13, &v20, &v21, &v28, &v29, m8, m9, 0u, 0u);