Index: src/Tests/Expect-e/report
===================================================================
--- src/Tests/Expect-e/report	(revision b1d6dd544a60d22c07bdaaac6bc78180bf2015ad)
+++ src/Tests/Expect-e/report	(revision 68cd1ce1134527e1c664cfdf84df37a7025de8a7)
@@ -2,4 +2,8 @@
 ---Array.txt---
 ---AsmName.txt---
+1c1
+< x: auto signed int 
+---
+> x: extern signed int 
 ---Attributes.txt---
 ---Cast.txt---
@@ -9,4 +13,12 @@
 ---Constant0-1.txt---
 ---Context.txt---
+56c56
+<         Declaration of x: auto type
+---
+>         Declaration of x: extern type
+64c64
+<         Declaration of y: auto type
+---
+>         Declaration of y: extern type
 ---DeclarationErrors.txt---
 ---DeclarationSpecifier.txt---
@@ -16,4 +28,8 @@
 ---Forall.txt---
 ---Function.txt---
+247c247
+< cfa-cpp: GenPoly/Box.cc:398: void GenPoly::{anonymous}::Pass1::boxParams(ApplicationExpr*, FunctionType*, std::list<Expression*>::iterator&, const TyVarMap&): Assertion `arg != appExpr->get_args().end()' failed.
+---
+> cfa-cpp: GenPoly/Box.cc:401: void GenPoly::{anonymous}::Pass1::boxParams(ApplicationExpr*, FunctionType*, std::list<Expression*>::iterator&, const TyVarMap&): Assertion `arg != appExpr->get_args().end()' failed.
 ---Functions.txt---
 ---GccExtensions.txt---