/* This program has a non-terminating fair execution */
#include <stdio.h>

void f() {
  while (1)
    printf("bye\n");
}

int main() {
  $proc p1 = $spawn f();
  printf("hi\n");
  $wait(p1);
}