+\end_layout
+
+\begin_layout Plain Layout
+
+ while (fgets(buffer[0], 200, stdin)) {
+\end_layout
+
+\begin_layout Plain Layout
+
+ if (noweb_try(0))
+\end_layout
+
+\begin_layout Plain Layout
+
+ output_error(1, err_line, "noweb");
+\end_layout
+
+\begin_layout Plain Layout
+
+ else if (xlc_try(0))
+\end_layout
+
+\begin_layout Plain Layout
+
+ output_error(1, err_line, "xlc");
+\end_layout
+
+\begin_layout Plain Layout