Index: doc/user/user.tex
===================================================================
--- doc/user/user.tex	(revision 6065b3aad7ca045ec48fc6103d1c55f0b5fb74b0)
+++ doc/user/user.tex	(revision 421a287ec473354e61e4f945989b76535a21aab8)
@@ -11,6 +11,6 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Thu Jun  1 22:46:09 2017
-%% Update Count     : 2126
+%% Last Modified On : Fri Jun  2 10:07:51 2017
+%% Update Count     : 2128
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -185,7 +185,9 @@
 While the \CFA I/O looks similar to the \Index*[C++]{\CC{}} output style, there are important differences, such as automatic spacing between variables as in \Index*{Python} (see~\VRef{s:IOLibrary}).
 
-This document is a user manual for the \CFA programming language, targeted at \CFA programmers.
+This document is a programmer reference-manual for the \CFA programming language.
+The manual covers the core features of the language and runtime-system, with simple examples illustrating syntax and semantics of each feature.
+The manual does not teach programming, i.e., how to combine the new constructs to build complex programs.
+A reader should already have an intermediate knowledge of control flow, data structures, and concurrency issues to understand the ideas presented as well as some experience programming in C/\CC.
 Implementers may refer to the \CFA Programming Language Specification for details about the language syntax and semantics.
-In its current state, this document covers the intended core features of the language.
 Changes to the syntax and additional features are expected to be included in later revisions.
 
@@ -5273,9 +5275,11 @@
 \begin{cfa}[aboveskip=0pt,belowskip=0pt]
 // C unsafe allocation
-extern "C" { void * mallac( size_t size ); }§\indexc{memset}§
-extern "C" { void * calloc( size_t dim, size_t size ); }§\indexc{calloc}§
-extern "C" { void * realloc( void * ptr, size_t size ); }§\indexc{realloc}§
-extern "C" { void * memalign( size_t align, size_t size ); }§\indexc{memalign}§
-extern "C" { int posix_memalign( void ** ptr, size_t align, size_t size ); }§\indexc{posix_memalign}§
+extern "C" {
+void * mallac( size_t size );§\indexc{memset}§
+void * calloc( size_t dim, size_t size );§\indexc{calloc}§
+void * realloc( void * ptr, size_t size );§\indexc{realloc}§
+void * memalign( size_t align, size_t size );§\indexc{memalign}§
+int posix_memalign( void ** ptr, size_t align, size_t size );§\indexc{posix_memalign}§
+}
 
 // §\CFA§ safe equivalents, i.e., implicit size specification
@@ -5302,6 +5306,8 @@
 
 // C unsafe initialization/copy
-extern "C" { void * memset( void * dest, int c, size_t size ); }
-extern "C" { void * memcpy( void * dest, const void * src, size_t size ); }
+extern "C" {
+void * memset( void * dest, int c, size_t size );
+void * memcpy( void * dest, const void * src, size_t size );
+}
 
 // §\CFA§ safe initialization/copy