Index: doc/theses/fangren_yu_MMath/content1.tex
===================================================================
--- doc/theses/fangren_yu_MMath/content1.tex	(revision 7f2e87acb4c1021cf84a41541b2dcb66e1bc9d9c)
+++ doc/theses/fangren_yu_MMath/content1.tex	(revision ad47ec4378fa0d341e9ffb6e548e5ef3ef6c6bcc)
@@ -508,4 +508,5 @@
 \end{cfa}
 The keyword @auto@ denotes a local (scoped) declaration, and here, it implies a local (scoped) type, using dot as the type qualifier, \eg @S.T t@.
+Alternatively, \CFA could adopt the \CC non-compatible change for nested types, since it may have already forced certain coding changes in C libraries that must be parsed by \CC.
 
 % https://gcc.gnu.org/onlinedocs/gcc/Unnamed-Fields.html