--- a/stage3/array_range_check.cc	Wed Jun 13 19:51:26 2012 +0200
+++ b/stage3/array_range_check.cc	Thu Jun 14 12:00:19 2012 +0100
@@ -135,6 +135,8 @@
     if ( VALID_CVALUE(uint64, l->elements[i]) && VALID_CVALUE(uint64, dimension->upper_limit))
       if ( GET_CVALUE(uint64, l->elements[i])   >  GET_CVALUE(uint64, dimension->upper_limit))
       {STAGE3_ERROR(0, symbol, symbol, "Array access out of bounds."); continue;}
+      
+    /* TODO: what happens when one has a int64 cvalue, and another has a uint64 cvalue? */
   }
 }