source: CIVL/examples/experimental/assignBad.cvl

/* */
#include <civlc.cvh>

/*
int foo() {
  int *p = (int *) $malloc($here, 5*sizeof(int));
}*/

void main() {
  int *p2;
  int *q;
  int a[5];

  *(a+5)=10;
  // p2 = a+5;
  //*p2=10;
  //foo();
}