void f() {
  __builtin_coro_alloc(); // expected-error {{this builtin expect that __builtin_coro_id}}
  __builtin_coro_begin(0); // expected-error {{this builtin expect that __builtin_coro_id}}
  __builtin_coro_free(0); // expected-error {{this builtin expect that __builtin_coro_id}}

  __builtin_coro_id(32, 0, 0, 0);
  __builtin_coro_id(32, 0, 0, 0); // expected-error {{only one __builtin_coro_id}}
}
