Index: doc/user/user.tex
===================================================================
--- doc/user/user.tex	(revision 10c7f40b2817b9373ee3a5f46f94ce083d386ce6)
+++ doc/user/user.tex	(revision eb24cec0a055a7ee6a5524a7c6546fe58d49f85a)
@@ -11,6 +11,6 @@
 %% Created On       : Wed Apr  6 14:53:29 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Mon Feb 15 09:54:33 2021
-%% Update Count     : 4442
+%% Last Modified On : Mon Feb 15 13:48:53 2021
+%% Update Count     : 4452
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -1247,10 +1247,6 @@
 \begin{cfa}
 struct Person {								$\C{// aggregate}$
-	struct Name {							$\C{// nesting}$
-		char first[20], last[20];
-	} name;
-	struct Address {						$\C{// nesting}$
-		...
-	} address;
+	struct Name { char first[20], last[20]; } name $\C{// nesting}$
+	struct Address { ... } address			$\C{// nesting}$
 	int sex;
 };
@@ -1271,13 +1267,16 @@
 
 C allows unnamed nested aggregates that open their scope into the containing aggregate.
-However, this feature is only useful for ©union© aggregates.
+This feature is used to group fields for attributes and/or with ©union© aggregates.
 \begin{cfa}
 struct S {
+	struct { int g,  h; } __attribute__(( aligned(64) ));
+	int tag;
 	union {
-		char @c@;   int @i@;   double @d@;
+		struct { char c1,  c2; } __attribute__(( aligned(128) ));
+		struct { int i1,  i2; };
+		struct { double d1,  d2; };
 	};
-	int tag;
-} s;
-@s@.tag; @s@.c; @s@.i; @s@.d;				$\C{// no nested qualification for union fields}$
+};
+s.g; s.h; s.tag; s.c1; s.c2; s.i1; s.i2; s.d1; s.d2;
 \end{cfa}