#include<civlc.h>

void main() {
  int a;
  int* b;
  int c[2];
  int* d;
  
  a = 1;
  b = &a;
  c[0] = 0;
  c[1] = 1;
  d = &c[1];
  $assert *b == 1;
  $assert *d == 1;
}