module
    recF32ToRecF128 (
        input [(`floatControlWidth - 1):0] control,
        input [32:0] in,
        input [2:0] roundingMode,
        output [128:0] out,
        output [4:0] exceptionFlags
    );

    recFNToRecFN#(8, 24, 15, 113)
        recFNToRecFN(control, in, roundingMode, out, exceptionFlags);

endmodule