#include<civlc.h>
int *x;
int *p;
$heap h;

void f() {
  int y=0;
  {
    int *q = p;
    y = y + 1;
    *q = 15;
  }
}

void main() {
  x = (int*) $malloc(&h, sizeof(int));
  p = x;
  *x = 0;
  $spawn f(); 
  $assert(*p==0);
}
