Index: doc/theses/mike_brooks_MMath/programs/bkgd-c-tyerr.c
===================================================================
--- doc/theses/mike_brooks_MMath/programs/bkgd-c-tyerr.c	(revision 959cc596e45a1950dfd8455b33cc280cc8ac27e7)
+++ doc/theses/mike_brooks_MMath/programs/bkgd-c-tyerr.c	(revision fe6047c9f454f4896c388e4012c6958cf83004c7)
@@ -16,5 +16,5 @@
 
 	float pi = 3.14;
-	void f( void (*g)(void) ) { g(); }
+	void f( void (*g)(void) );
 	@f( &pi );@			$\C{// wrong}$
 }
Index: doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c
===================================================================
--- doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c	(revision 959cc596e45a1950dfd8455b33cc280cc8ac27e7)
+++ doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c	(revision fe6047c9f454f4896c388e4012c6958cf83004c7)
@@ -10,5 +10,5 @@
 	assert( sizeof(pa0x) != sizeof(ar) );
 
-	void f( float x[10], float * y ) {
+	void f( @float x[10]@, @float * y@ ) {
 		static_assert( sizeof(x) == sizeof(void *) );
 		static_assert( sizeof(y) == sizeof(void *) );
@@ -16,5 +16,5 @@
 	f( 0, 0 );
 
-	// reusing local var `float a[10];`}
+	// reusing local variable float ar[10]
 	float v;
 	f( ar, ar );				$\C{// ok: two decays, one into an array spelling}$
Index: doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c
===================================================================
--- doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c	(revision 959cc596e45a1950dfd8455b33cc280cc8ac27e7)
+++ doc/theses/mike_brooks_MMath/programs/bkgd-carray-mdim.c	(revision fe6047c9f454f4896c388e4012c6958cf83004c7)
@@ -38,6 +38,6 @@
 //	float (*b[3])[10];
 	float * b[3];
-	for (int i = 0; i < 3; i ++) {
-		b[i] = malloc(sizeof(float[10]));
+	for ( int i = 0; i < 3; i ++ ) {
+		b[i] = malloc( sizeof( float[10] ) );
 	}
 	mx[2][3];
Index: doc/theses/mike_brooks_MMath/programs/lst-issues-multi-static.run.c
===================================================================
--- doc/theses/mike_brooks_MMath/programs/lst-issues-multi-static.run.c	(revision 959cc596e45a1950dfd8455b33cc280cc8ac27e7)
+++ doc/theses/mike_brooks_MMath/programs/lst-issues-multi-static.run.c	(revision fe6047c9f454f4896c388e4012c6958cf83004c7)
@@ -20,9 +20,9 @@
 struct req {
 	int pri, rqr;
-	LIST_ENTRY(req) by_pri;
-	LIST_ENTRY(req) by_rqr;
+	LIST_ENTRY( req ) by_pri;
+	LIST_ENTRY( req ) by_rqr;
 };
 
-LIST_HEAD(reql, req);
+LIST_HEAD( reql, req );
 
 struct reql reqs_pri;
@@ -31,8 +31,8 @@
 struct reql reqs_rqr_99;
 
-LIST_INIT(&reqs_pri);
-LIST_INIT(&reqs_rqr_42);
-LIST_INIT(&reqs_rqr_17);
-LIST_INIT(&reqs_rqr_99);
+LIST_INIT( &reqs_pri );
+LIST_INIT( &reqs_rqr_42 );
+LIST_INIT( &reqs_rqr_17 );
+LIST_INIT( &reqs_rqr_99 );
 
 struct req
@@ -44,19 +44,19 @@
 	r99a = {3, 99};
 
-LIST_INSERT_HEAD(&reqs_pri, &r17c, by_pri);
-LIST_INSERT_HEAD(&reqs_pri, &r99a, by_pri);
-LIST_INSERT_HEAD(&reqs_pri, &r17b, by_pri);
-LIST_INSERT_HEAD(&reqs_pri, &r42b, by_pri);
-LIST_INSERT_HEAD(&reqs_pri, &r17a, by_pri);
-LIST_INSERT_HEAD(&reqs_pri, &r42a, by_pri);
+LIST_INSERT_HEAD( &reqs_pri, &r17c, by_pri );
+LIST_INSERT_HEAD( &reqs_pri, &r99a, by_pri );
+LIST_INSERT_HEAD( &reqs_pri, &r17b, by_pri );
+LIST_INSERT_HEAD( &reqs_pri, &r42b, by_pri );
+LIST_INSERT_HEAD( &reqs_pri, &r17a, by_pri );
+LIST_INSERT_HEAD( &reqs_pri, &r42a, by_pri );
 
-LIST_INSERT_HEAD(&reqs_rqr_42, &r42b, by_rqr);
-LIST_INSERT_HEAD(&reqs_rqr_42, &r42a, by_rqr);
+LIST_INSERT_HEAD( &reqs_rqr_42, &r42b, by_rqr );
+LIST_INSERT_HEAD( &reqs_rqr_42, &r42a, by_rqr );
 
-LIST_INSERT_HEAD(&reqs_rqr_17, &r17c, by_rqr);
-LIST_INSERT_HEAD(&reqs_rqr_17, &r17b, by_rqr);
-LIST_INSERT_HEAD(&reqs_rqr_17, &r17a, by_rqr);
+LIST_INSERT_HEAD( &reqs_rqr_17, &r17c, by_rqr );
+LIST_INSERT_HEAD( &reqs_rqr_17, &r17b, by_rqr );
+LIST_INSERT_HEAD( &reqs_rqr_17, &r17a, by_rqr );
 
-LIST_INSERT_HEAD(&reqs_rqr_99, &r99a, by_rqr);
+LIST_INSERT_HEAD( &reqs_rqr_99, &r99a, by_rqr );
 
 
@@ -67,16 +67,16 @@
 
 struct req *cur;
-LIST_FOREACH(cur, &reqs_pri, by_pri)
-	printf("{%d %d} ", cur->pri, cur->rqr);
-printf("| ");
-LIST_FOREACH(cur, &reqs_rqr_42, by_rqr)
-	printf("{%d %d} ", cur->pri, cur->rqr);
-printf("| ");
-LIST_FOREACH(cur, &reqs_rqr_17, by_rqr)
-	printf("{%d %d} ", cur->pri, cur->rqr);
-printf("| ");
-LIST_FOREACH(cur, &reqs_rqr_99, by_rqr)
-	printf("{%d %d} ", cur->pri, cur->rqr);
-printf("\n");
+LIST_FOREACH( cur, &reqs_pri, by_pri )
+	printf( "{%d %d} ", cur->pri, cur->rqr );
+printf( "| " );
+LIST_FOREACH( cur, &reqs_rqr_42, by_rqr )
+	printf( "{%d %d} ", cur->pri, cur->rqr );
+printf( "| " );
+LIST_FOREACH( cur, &reqs_rqr_17, by_rqr )
+	printf( "{%d %d} ", cur->pri, cur->rqr );
+printf( "| " );
+LIST_FOREACH( cur, &reqs_rqr_99, by_rqr )
+	printf( "{%d %d} ", cur->pri, cur->rqr );
+printf( "\n" );
 
 }