diff -r 833cb2eba36f -r f93bcada0f51 stage4/generate_c/generate_c_st.cc
--- a/stage4/generate_c/generate_c_st.cc	Mon May 30 19:28:32 2011 +0100
+++ b/stage4/generate_c/generate_c_st.cc	Tue May 31 15:35:05 2011 +0200
@@ -339,9 +339,9 @@
   for (int i =  0; i < symbol->n; i++) {
     s4o.print("[__");
     current_array_type->accept(*this);
-    s4o.print("_TRANSIDX");
+    s4o.print("_TRANSIDX(");
     print_integer(i);
-    s4o.print("(");
+    s4o.print(",");
     symbol->elements[i]->accept(*this);
     s4o.print(")]");
   }