Index: tests/array.cfa
===================================================================
--- tests/array.cfa	(revision 7ae39f0af27a996c64f27f49095f91e7f11be266)
+++ tests/array.cfa	(revision b38d24a1bffd852e617d5451d0e6f225e7728a47)
@@ -57,4 +57,12 @@
     }
 
+    int fred2(int n,
+        int a1[],
+E1(     int a2[*],   )
+        int a4[3],
+        int T[3],
+        int a5[n]
+    ) {}
+
     int mary( int T[3],                                 // same as: int *T
               int p1[const 3],                          // same as: int const *p1
@@ -110,8 +118,6 @@
 E3( int fm4( int r, int c, int m[][] );            )    // m's immediate element type is incomplete
     int fm5x( int, int, int[*][*] );                    // same as fm1 decl
-                                                        #ifndef __cforall
-    int fm5y( int r, int c, int m[r][c] ) {}            // BUG 276: CFA chokes but should accept
-                                                        // C: same as fm1 defn
-                                                        #endif
+    int fm5y( int r, int c, int m[r][c] ) {}            // same as fm1 defn
+