#pragma TASS input {N>0 && N<=3}
int N;
int a[N];

void main() {
  int i;
  int* p = &a[0];
  
  for (i=0; i<N; i++) {
    *(p+i) = i;
  }
  for (i=0; i<N; i++) {
    #pragma TASS assert a[i]==i;
  }
}
