source: CIVL/examples/spawn.cvl@ 366d0b2

void f(int n) {
  for (int i=0; i<n; i++) ;
}

void main() {
  \proc p = \spawn f(3);
  \proc q = \spawn f(10000);
  \wait p;
  \wait q;
}