source: CIVL/examples/languageFeatures/self.cvl@ a8ca3d3

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

void waiter($proc target) {
  $wait(target);
}

void main() {
  $proc me = $self;
  
  $spawn waiter(me);
}