Index: doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/sidechan.cfa
===================================================================
--- doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/sidechan.cfa	(revision b5e3a8068dfee9cd536827ae412ffa5a94be810f)
+++ doc/theses/colby_parsons_MMAth/benchmarks/waituntil/cfa/sidechan.cfa	(revision fa5e1aa5984ed29d58206d4ec81dd05c0a1b3ece)
@@ -37,5 +37,5 @@
 thread Consumer {};
 void main( Consumer & this ) {
-    int idx = __atomic_fetch_add( &cons_counter, 1, __ATOMIC_SEQ_CST ) % Channels;
+    const int idx = __atomic_fetch_add( &cons_counter, 1, __ATOMIC_SEQ_CST ) % Channels;
     size_t val, i = 0;
     try {
@@ -49,5 +49,5 @@
 thread Producer {};
 void main( Producer & this ) {
-    int idx = __atomic_fetch_add( &prod_counter, 1, __ATOMIC_SEQ_CST ) % Channels;
+    const int idx = __atomic_fetch_add( &prod_counter, 1, __ATOMIC_SEQ_CST ) % Channels;
     try {
         for( size_t i = 0;; i++ ) {