module
    mulAddRecF128_mul (
        input [(`floatControlWidth - 1):0] control,
        input [128:0] a,
        input [128:0] b,
        input [2:0] roundingMode,
        output [128:0] out,
        output [4:0] exceptionFlags
    );

    wire [128:0] zeroAddend = {a[128] ^ b[128], 128'b0};
    mulAddRecFN#(15, 113)
        mulAddRecFN(
            control, 2'b0, a, b, zeroAddend, roundingMode, out, exceptionFlags
        );

endmodule