public static BitVector16 mul(BitVector16 a, BitVector16 b) => Bits.clmulr(a, b, Redux);
public static byte mul(byte a, byte b) => Bits.clmulr(a, b, Redux);