Function ThreadMain

test/pthread/test_pthread_supported.c:14–16

#include <errno.h>

void *ThreadMain(void *arg) {
  pthread_exit(NULL);
}

int main() {
  pthread_t thread;