// PARAM: --disable sem.unknown_function.spawn
#include <goblint.h>
#include <stddef.h>

void *t_fun(void *arg) {
  __goblint_check(1); // NOWARN (unreachable)
  return NULL;
}

int main() {
  magic(t_fun); // unknown function
  return 0;
}
