What is the format specifier when trying to print out the thrd_current? In a code like:
thrd_current
printf("Thread id: %llu, argument: %s\\n", thrd
