@@ -20,11 +20,9 @@
 	(int -> chungus_t)
 	(ptr (int -> chungus_t))
 	(array 5 (ptr (int -> chungus_t)))
 	((array 5 (ptr int)) -> (const (ptr (array 3 int))))
-    ; int (((*const (v(int (*(())[5])))))[3])
-    ; int (* const v(int *[5]))[3]
-(array (const (ptr (char u128 -> (ptr (array 5 bool))))))
+	(array (const (ptr (char u128 -> (ptr (array 5 bool))))))
 	
 	(array 5 (const (ref char)))))
 
 (map test tests)