:- module stream_put5_bug.

:- interface.

:- import_module io.

:- interface.

:- pred main(io::di, io::uo) is det.

:- implementation.

:- import_module list.
:- use_module stream.string_writer.
:- use_module string.builder.

main(!IO) :-
    Builder = string.builder.init,
    stream.string_writer.format(string.builder.handle, "", [], Builder, _).