mem.c0

#use <conio>

void pnt(int a) {
  printint(a);
  println("");
}

struct k {
  int a;
  int* b;
  int** c;
};

struct st {
  int* a;
  int b;
  struct k sk;
  string c;
  char d;
  char* e;
  int** f;
};

void pntarr(int[] arr, int len)
//@requires \length(arr) == len;
{
  for( int i = 0; i < len; i++ )
    pnt(arr[i]);
}

int main() {
  int v0 = 2;
  int* v1 = alloc(int);
  int[] v2 = alloc_array(int, 5);
  int*[] v3 = alloc_array(int*, 5);
  char[] v4 = alloc_array(char, 2);
  *v1 = 5;
  v2[2] = *v1;
  v2[0] = 4;
  v3[0] = v1;
  v3[1] = alloc(int);
  *(v3[1]) = 2;
  v3[2] = v1;

  v4[0] = 'a';
  v4[1] = 'k';

  struct st* s = alloc(struct st);
  s->a = v1;
  s->b = *(v3[1]);
  s->sk.a = 0;
  s->sk.c = alloc(int*);
  *(s->sk.c) = v1;
  s->sk.b = v3[0];
  s->c = "hello\n";
  s->d = v4[1];
  s->e = alloc(char);
  *(s->e) = v4[1];
  s->f = s->sk.c;

  pnt(v0);
  pnt(*v1);
  pntarr(v2, 5);
  for( int i = 0; i < 5; i++ ) {
    if( v3[i] == NULL )
      print("NULL\n");
    else
      pnt(*(v3[i]));
  }
  for( int i = 0; i < 2; i++ ) {
    printchar(v4[i]);
  }
  pnt(*(s->a));
  pnt(s->b);
  pnt(s->sk.a);
  pnt(*(s->sk.b));
  pnt(**(s->sk.c));
  print(s->c);
  printchar(s->d);
  println("");
  printchar(*(s->e));
  println("");
  printint(**(s->f));
  println("");

  return 0;
}