#include <civlc.cvh>

void foo(){
  $assert($false);
}

void main(){
  $proc p = $spawn foo();

  $wait(p);
}