def Gf128.mul_be
import bend-osdev-gf@0.1.1.0/gf128.bend as Gf128import Base
169def Gf128.mul_be(+a: Gf128, b: Gf128) -> Gf128:
170 match b:
171 case Gf128{w0, w1, w2, w3}:
172 gf128.be.word(32n, w3, a, gf128.be.word(32n, w2, a, gf128.be.word(32n, w1, a, gf128.be.word(32n, w0, a, Gf128.zero()))))