zi := *idx(z, i) z0 := zi & mask32 z1 := zi >> 32 c0 := carry & mask32 c1 := carry >> 32 w00 := x0*y0 + z0 + c0 l00 := w00 & mask32 h00 := w00 >> 32 w01 := x0*y1 + z1 + h00 l01 := w01 & mask32 h01 := w01 >> 32 w10 := x1*y0 + c1 + l01 h10 := w10 >> 32 carry = x1*y1 + h10 + h01 *idx(z, i) = w10<<32 + l00 } return carry } func addMulVVW1024(z, x *uint, y uint) (c uint) { return addMulVVWWasm(z, x, y, 1024/_W) } func addMulVVW1536(z, x *uint, y uint) (c uint) { return addMulVVWWasm(z, x, y, 1536/_W) }...