#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;
}