Index: doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c
===================================================================
--- doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c	(revision a8853574dd2ba32ccb73b2d92c8ae8d2996bc657)
+++ doc/theses/mike_brooks_MMath/programs/bkgd-carray-arrty.c	(revision 4a72fef647d91f5a47166fb7d5feb91567da5c24)
@@ -32,34 +32,34 @@
 
 int main() {
-	float a[10];
-	static_assert(sizeof(float) == 4);		$\C{// floats (array elements) are 4 bytes}$
-	static_assert(sizeof(void*) == 8);		$\C{// pointers are 8 bytes}$
-	static_assert(sizeof(a) == 40);			$\C{// array}$
-	static_assert(sizeof(&a) == 8 );		$\C{// pointer to array}$
-	static_assert(sizeof(a[0]) == 4 );		$\C{// first element}$
-	static_assert(sizeof(&(a[0])) == 8 );	$\C{// pointer to first element}$
+	float ar[10];
+	static_assert( sizeof(float) == 4 );	$\C{// floats (array elements) are 4 bytes}$
+	static_assert( sizeof(void*) == 8 );	$\C{// pointers are 8 bytes}$
+	static_assert( sizeof(ar) == 40 );		$\C{// array}$
+	static_assert( sizeof(&ar) == 8 );		$\C{// pointer to array}$
+	static_assert( sizeof(ar[0]) == 4 );	$\C{// first element}$
+	static_assert( sizeof(&(ar[0])) == 8 );	$\C{// pointer to first element}$
 
-	typeof(&a) x;							$\C{// x is pointer to array}$
-	typeof(&(a[0])) y;						$\C{// y is pointer to first element}$
+	typeof(&ar) x = &ar;					$\C{// x is pointer to array}$
+	typeof(&(ar[0])) y = &ar[0];			$\C{// y is pointer to first element}$
 	@x = y;@								$\C{// ill-typed}$
 	@y = x;@								$\C{// ill-typed}$
-	static_assert(sizeof(typeof(a)) == 40);
-	static_assert(sizeof(typeof(&a)) == 8 );
-	static_assert(sizeof(typeof(a[0])) == 4 );
-	static_assert(sizeof(typeof(&(a[0]))) == 8 );
+	static_assert( sizeof(typeof(ar)) == 40 ); $\C{// array}$
+	static_assert( sizeof(typeof(&ar)) == 8 );	$\C{// pointer to array}$
+	static_assert( sizeof(typeof(ar[0])) == 4 ); $\C{// first element}$
+	static_assert( sizeof(typeof(&(ar[0]))) == 8 ); $\C{// pointer to first element}$
 
 	void f( float (*pa)[10] ) {
-	    static_assert(sizeof(   *pa     ) == 40); $\C{// array}$
-	    static_assert(sizeof(    pa     ) == 8 ); $\C{// pointer to array}$
-	    static_assert(sizeof(  (*pa)[0] ) == 4 ); $\C{// first element}$
-	    static_assert(sizeof(&((*pa)[0])) == 8 ); $\C{// pointer to first element}$
+		static_assert( sizeof( *pa ) == 40 ); $\C{// array}$
+		static_assert( sizeof( pa ) == 8 );	$\C{// pointer to array}$
+		static_assert( sizeof( (*pa)[0] ) == 4 ); $\C{// first element}$
+		static_assert( sizeof(&((*pa)[0])) == 8 ); $\C{// pointer to first element}$
 	}
-	f( & a );
+	f( &ar );
 
 	float fs[] = {3.14, 1.707};
 	char cs[] = "hello";
-
 	static_assert( sizeof(fs) == 2 * sizeof(float) );
 	static_assert( sizeof(cs) == 6 * sizeof(char) );  $\C{// 5 letters + 1 null terminator}$
+
 }
 
@@ -144,8 +144,8 @@
 void stx2() { const T x[10];
 //            x[5] = 3.14; // bad
-	        }
+			}
 void stx3() { T const x[10];
 //            x[5] = 3.14; // bad
-	        }
+			}
 
 // Local Variables: //