source: CIVL/mods/dev.civl.abc/examples/prune/structsInFunction1.cvl

#include<civlc.cvh>

void process(){
  typedef struct Node* Node_t;
  struct Node{
    int x;
    int y;
  };

  int a,b;
  a=b=10;
}

int main(){
  $proc p=$spawn process();

  $wait(p);
}