#include <stdio.h>
#include <stdlib.h>

int main(int argc, char** argv) {
  int a[2];
  int* b = malloc(2*sizeof(int));
  int* c;

  a[2] = 5;
  b[0] += 2;
  c = b+3;
  free(&(a[0]));
  free(b);
  free(b);
  b[0] = 5;

  return 0;
}
