#include <civlc.cvh>

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

int main(){
  while($true) $spawn f();
}