Index: tests/enum_tests/.expect/typedIntEnum.txt
===================================================================
--- tests/enum_tests/.expect/typedIntEnum.txt	(revision 7ee5d6d60a209c511929487140ebfa5e9bfe61ef)
+++ tests/enum_tests/.expect/typedIntEnum.txt	(revision 30d91e4132fb7ec560dd389474deafbfd0d57555)
@@ -1,1 +1,7 @@
-zero: 0, one: 1
+0
+1
+1000
+1001
+2000
+2001
+2002
Index: tests/enum_tests/typedIntEnum.cfa
===================================================================
--- tests/enum_tests/typedIntEnum.cfa	(revision 7ee5d6d60a209c511929487140ebfa5e9bfe61ef)
+++ tests/enum_tests/typedIntEnum.cfa	(revision 30d91e4132fb7ec560dd389474deafbfd0d57555)
@@ -3,9 +3,20 @@
 enum(int) IntEnum {
     zero,
-    one
+    one,
+    thousand = 1000,
+    thousand_one,
+    two_thousand = 2000,
+    two_thousand_one,
+    two_thousand_two
 };
 
 int main() {
-    printf("zero: %d, one: %d\n", zero, one);
+    printf("%d\n", zero);
+    printf("%d\n", one);
+    printf("%d\n", thousand);
+    printf("%d\n", thousand_one);
+    printf("%d\n", two_thousand);
+    printf("%d\n", two_thousand_one);
+    printf("%d\n", two_thousand_two);
     return 0;
 }