source: CIVL/examples/por/fib.cvl@ c84ae6e2

#include<civlc.cvh>
#include<stdio.h>

$input int N=3;

int i=1,j=1;
void proc0(){
  for(int k=0; k<N; k++)
    i+=j;
}

void proc1(){
  for(int k=0; k<N; k++)
    j+=i;
}

int main(){
  $proc p0, p1;

  $atomic{
    p0=$spawn proc0();
    p1=$spawn proc1();
  }
  $wait(p0);
  $wait(p1);
  //printf("x=%d, y=%d\n", x, y);
}