Subject: bug#66294: Formal Bug Report in paste.c of Coreutils Version 9.0 by Klee

From: Paul Eggert <[email-masked]>
Date: Mon, 16 Oct 2023 13:49:05 -0700

I looked at the text version of the bug report and don't understand it. 
Can you please rephrase the bug report so that you tell us how you 
invoked 'paste' (command line arguments and input file contents), what 
behavior you expected, and what behavior you observed? Please bear in 
mind that your readers might not know about klee. Thanks.