#pragma TASS input {n>0 && n<=3} 
int n;

void fill(int length, int* pointer) 
{
  int i;
  
  for (i=0; i<n; i++) pointer[i]=i;
}

void main() 
{
  int* p; 
  int i;
  
  p = malloc(n * sizeof(int));
  
  fill(n, p);
  
  for (i=0; i<n; i++) 
  {
    #pragma TASS assert p[i]==i;
  }
  free(p);
}
