diff -r e8563dcaefca -r 56ebe2a31b5b stage3/case_elements_check.cc
--- a/stage3/case_elements_check.cc	Mon Apr 03 22:06:40 2017 +0100
+++ b/stage3/case_elements_check.cc	Mon Apr 03 22:18:22 2017 +0100
@@ -242,7 +242,7 @@
 // SYM_LIST(case_list_c)
 void *case_elements_check_c::visit(case_list_c *symbol) {
   for (int i = 0; i < symbol->n; i++)
-    case_elements_list.push_back(symbol->elements[i]);
+    case_elements_list.push_back(symbol->get_element(i));
   return NULL;
 }