Print configured PTHREAD_* values (for easier debugging)