Index: doc/LaTeXmacros/common.tex
===================================================================
--- doc/LaTeXmacros/common.tex	(revision 79f64f1f82bb2d462bd0cbe3d8d1ef4c5771a709)
+++ doc/LaTeXmacros/common.tex	(revision b87e2b60f7d370125cd6b8c9e2d2eb9bb8445891)
@@ -11,6 +11,6 @@
 %% Created On       : Sat Apr  9 10:06:17 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Mon Aug  1 09:11:20 2016
-%% Update Count     : 225
+%% Last Modified On : Tue Aug  2 17:02:02 2016
+%% Update Count     : 228
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -40,5 +40,5 @@
 \newcommand{\CC}{\rm C\kern-.1em\hbox{+\kern-.25em+}\xspace} % CC symbolic name
 \newcommand{\CCeleven}{\rm C\kern-.1em\hbox{+\kern-.25em+}11\xspace} % C++11 symbolic name
-\def\c11{ISO/IEC C}						% C11 name (cannot have numbers in latex command name)
+\newcommand{\Celeven}{C11\xspace}		% C11 symbolic name
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Index: doc/user/user.tex
===================================================================
--- doc/user/user.tex	(revision 79f64f1f82bb2d462bd0cbe3d8d1ef4c5771a709)
+++ doc/user/user.tex	(revision b87e2b60f7d370125cd6b8c9e2d2eb9bb8445891)
@@ -11,6 +11,6 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Mon Aug  1 09:11:24 2016
-%% Update Count     : 1271
+%% Last Modified On : Tue Aug  2 17:39:02 2016
+%% Update Count     : 1286
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -226,4 +226,5 @@
 
 \section{Interoperability}
+\label{s:Interoperability}
 
 \CFA is designed to integrate well with existing C programs and libraries.
@@ -314,4 +315,9 @@
 The \CFA compilation message is printed at the beginning of a compilation.
 \textbf{This option is the default.}
+
+\item
+\Indexc{-no-include-std}\index{compilation option!-no-include-std@©-no-include-std©}
+Do not supply ©extern "C"© wrappers for \Celeven standard include files (see~\VRef{s:StandardHeaders}).
+\textbf{This option is \emph{not} the default.}
 \end{description}
 
@@ -4363,7 +4369,50 @@
 
 
-\section{New Keywowrds}
-
-©catch©, ©catchResume©, ©choose©, \quad ©disable©, ©dtype©, \quad ©enable©, \quad ©fallthrough©, ©fallthru©, ©finally©, ©forall©, ©ftype©, \quad ©lvalue©, \quad ©otype©, \quad ©throw©, ©throwResume©, ©trait©, ©try©
+\section{New Keywords}
+\label{s:NewKeywords}
+
+\begin{quote2}
+\begin{tabular}{ll}
+©catch©			& ©lvalue©		\\
+©catchResume©	&				\\
+©choose©		& ©otype©		\\
+				&				\\
+©disable©		& ©throw©		\\
+©dtype©			& ©throwResume©	\\
+				& ©trait©		\\
+©enable©		& ©try©			\\
+				&				\\
+©fallthrough©					\\
+©fallthru©						\\
+©finally©						\\
+©forall©						\\
+©ftype©							\\
+\end{tabular}
+\end{quote2}
+
+
+\section{Standard Headers}
+\label{s:StandardHeaders}
+
+C prescribes the following standard header-files:
+\begin{quote2}
+\begin{minipage}{\linewidth}
+\begin{tabular}{lll}
+assert.h	& math.h		& stdlib.h		\\
+complex.h	& setjmp.h		& stdnoreturn.h	\\
+ctype.h		& signal.h		& string.h		\\
+errno.h		& stdalign.h	& tgmath.h		\\
+fenv.h		& stdarg.h		& threads.h		\\
+float.h		& stdatomic.h	& time.h		\\
+inttypes.h	& stdbool.h		& uchar.h		\\
+iso646.h	& stddef.h		& wchar.h		\\
+limits.h	& stdint.h		& wctype.h		\\
+locale.h	& stdio.h		& unistd.h\footnote{\CFA extension}
+\end{tabular}
+\end{minipage}
+\end{quote2}
+For the prescribed head-files, \CFA implicit wraps their includes in an ©extern "C"©;
+hence, names in these include files are not mangled\index{mangling!name} (see~\VRef{s:Interoperability}).
+All other C header files must be explicitly wrapped in ©extern "C"© to prevent name mangling.
 
 
@@ -4375,5 +4424,5 @@
 \item
 \begin{description}
-\item[Change:] add new keywords \\
+\item[Change:] add new keywords (see~\VRef{s:NewKeywords}) \\
 New keywords are added to \CFA.
 \item[Rationale:] keywords added to implement new semantics of \CFA.
@@ -4473,5 +4522,5 @@
 \begin{description}
 \item[Change:] have ©struct© introduce a scope for nested types
-In C, the name of the nested types belongs to the same scope as the name of the outermost enclosing 
+In C, the name of the nested types belongs to the same scope as the name of the outermost enclosing
 Example:
 \begin{lstlisting}
@@ -4596,5 +4645,6 @@
 %$
 \begin{lstlisting}[mathescape=off]
-sout | "x (" | 1 | "x [" | 2 | "x {" | 3 | "x $" | 4 | "x £" | 5 | "x ¥" | 6 | "x ¡" | 7 | "x ¿" | 8 | "x «" | 9 | endl;
+sout | "x (" | 1 | "x [" | 2 | "x {" | 3 | "x $" | 4 | "x £" | 5 | "x ¥" | 6 | "x ¡" | 7
+	 | "x ¿" | 8 | "x «" | 9 | endl;
 \end{lstlisting}
 %$
@@ -4606,6 +4656,6 @@
 A seperator does not appear after a C string ending with the (extended) \Index{ASCII}\index{ASCII!extended} characters: ©,.:;!?)]}%¢»©
 \begin{lstlisting}[belowskip=0pt]
-sout | 1 | ", x" | 2 | ". x" | 3 | ": x" | 4 | "; x" | 5 | "! x" | 6 | "? x" | 7 | ") x" | 8 | "] x" | 9 | "} x"
-	 | 10 | "% x" | 11 | "¢ x" | 12 | "» x" | endl;
+sout | 1 | ", x" | 2 | ". x" | 3 | ": x" | 4 | "; x" | 5 | "! x" | 6 | "? x" | 7
+	 | ") x" | 8 | "] x" | 9 | "} x" | 10 | "% x" | 11 | "¢ x" | 12 | "» x" | endl;
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4623,5 +4673,5 @@
 The following \CC-style \Index{manipulator}s allow further control over implicit seperation.
 \begin{lstlisting}[mathescape=off,belowskip=0pt]
-sout | sepOn | 1 | 2 | 3 | sepOn | endl;	// separator at start of line
+sout | sepOn | 1 | 2 | 3 | sepOn | endl;	§\C{// separator at start of line}§
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4629,5 +4679,5 @@
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,aboveskip=0pt,belowskip=0pt]
-sout | 1 | sepOff | 2 | 3 | endl;			// turn off implicit separator temporarily
+sout | 1 | sepOff | 2 | 3 | endl;			§\C{// turn off implicit separator temporarily}§
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4635,5 +4685,5 @@
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,aboveskip=0pt,belowskip=0pt]
-sout | sepDisable | 1 | 2 | 3 | endl;		// turn off implicit separation, affects all subsequent prints
+sout | sepDisable | 1 | 2 | 3 | endl;		§\C{// turn off implicit separation, affects all subsequent prints}§
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4641,5 +4691,5 @@
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,aboveskip=0pt,belowskip=0pt]
-sout | 1 | sepOn | 2 | 3 | endl;			// turn on implicit separator temporarily
+sout | 1 | sepOn | 2 | 3 | endl;			§\C{// turn on implicit separator temporarily}§
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4647,5 +4697,5 @@
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,aboveskip=0pt,belowskip=0pt]
-sout | sepEnable | 1 | 2 | 3 | endl;		// turn on implicit separation, affects all subsequent prints
+sout | sepEnable | 1 | 2 | 3 | endl;		§\C{// turn on implicit separation, affects all subsequent prints}§
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,showspaces=true,aboveskip=0pt,belowskip=0pt]
@@ -4653,5 +4703,5 @@
 \end{lstlisting}
 \begin{lstlisting}[mathescape=off,aboveskip=0pt,aboveskip=0pt,belowskip=0pt]
-sepSet( sout, ", $" );						// change separator from " " to ", $"
+sepSet( sout, ", $" );						§\C{// change separator from " " to ", \$"}§
 sout | 1 | 2 | 3 | endl;
 \end{lstlisting}