program stream_file
schreibe 'STREAM FILE letters/a ""\n' nach stdout
flush(stdout)
end program stream_file