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

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

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