/* Commandline execution:
 *		civl verify exit.cvl
 * */
#include<civlc.h>

void f() {
  for (int i = 0; i < 10; i++) {
    if (i == 8) {
      $exit();
    }
    $assert(i < 9);
  }
}

void main() {
  for (int i = 0; i < 4; i++) {
    $spawn f();
  }
}
