x2 := arg1[2] x3 := arg1[3] x4 := arg1[4] x5 := arg1[5] x6 := arg1[0] var x7 uint64 var x8 uint64 x8, x7 = bits.Mul64(x6, arg2[5]) var x9 uint64 var x10 uint64 x10, x9 = bits.Mul64(x6, arg2[4]) var x11 uint64 var x12 uint64 x12, x11 = bits.Mul64(x6, arg2[3]) var x13 uint64 var x14 uint64 x14, x13 = bits.Mul64(x6, arg2[2]) var x15 uint64 var x16 uint64 x16, x15 = bits.Mul64(x6, arg2[1]) var x17 uint64 var x18 uint64 x18, x17 = bits.Mul64(x6, arg2[0]) var x19 uint64 var x20 uint64 x19, x20 = bits.Add64(x18,...