N.B. probably none of these scripts is generally useful.  The
"csmith/scripts" directory contains programs believed to be useful to
people who are not Csmith developers.