#include <civlc.cvh>

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

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

  $wait(p);
}