os_thread.c:55:6: error: format '%p' expects argument of type 'void *',
but argument 5 has type 'pthread_t' [-Werror=format=]