source: CIVL/mods/dev.civl.abc/examples/prune/structsInFunction_pruned.cvl@ f345491

//======================== civlc.cvh =======================
typedef struct $proc $proc;
$system[civlc] void $wait($proc p);
//================== structsInFunction.cvl =================
void process() {
  int a;
  int b;
  a = b = 10;
}
int main() {
  $proc p = $spawn process();
  $wait(p);
}