void f(void) {
  $print("f\n");
}

void g(void) {
  $print("g\n");
}

int main(void) {
  $choose {
    f();
    g();
  }
}