Index: doc/user/user.tex
===================================================================
--- doc/user/user.tex	(revision bb20aa60678135cf894d608d30cdb30e1581ae12)
+++ doc/user/user.tex	(revision 2b5e051cd02badc4f69c775b16600ddeeb2f2ffa)
@@ -11,6 +11,6 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Fri Jul 26 06:56:11 2024
-%% Update Count     : 6955
+%% Last Modified On : Thu Aug 15 22:23:30 2024
+%% Update Count     : 6957
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -4656,5 +4656,5 @@
 \VRef[Figure]{f:CFACommand-LineProcessing} demonstrates the file operations by showing the idiomatic \CFA command-line processing and copying an input file to an output file.
 Note, a stream variable may be copied because it is a reference to an underlying stream data-structures.
-\Textbf{All I/O errors are handled as exceptions}, but end-of-file is not an exception as C programmers are use to explicitly checking for it.
+\Textbf{All unusual I/O cases are handled as exceptions, including end-of-file.}
 
 \begin{figure}
@@ -4686,9 +4686,11 @@
 	in | nlOn;								§\C{// turn on reading newline}§
 	char ch;
-	for () {								§\C{// read/write characters}§
-		in | ch;
-	  if ( eof( in ) ) break;				§\C{// eof ?}§
-		out | ch;
-	} // for
+	try {
+		for () {							§\C{// read/write characters}§
+			in | ch;
+			out | ch;
+		} // for
+	} catch( end_of_file * ) {				§\C{// end-of-file raised}§
+	} // try
 } // main
 \end{cfa}