/* Commandline execution:
 *		civl verify arrays.cvl
 * */
#include<civlc.h>

void main() {
  int a[1][1];
  int b[2];
  
  a[0][0] = 2;
  b[1] = 5;
  $assert(a[0][0] == 2);
  $assert(b[1] == 5);
}