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

    wire [64:0] recF64_1 = 65'h08000000000000000;
    mulAddRecFN#(11, 53)
        mulAddRecFN(
            control, 2'b0, a, recF64_1, b, roundingMode, out, exceptionFlags);

endmodule