Index: doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c
===================================================================
--- doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c	(revision 8d764d4f7221d071a7aca33555befa9740237d14)
+++ doc/theses/mike_brooks_MMath/programs/bkgd-carray-decay.c	(revision 037dc57ad1a06c496591a80d9ddae32adb53676e)
@@ -10,9 +10,9 @@
 	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 *) );
+		x = y;  y = x;
 	}
-	f( 0, 0 );
 
 	// reusing local variable float ar[10]