I'm trying to program an ESP32 DevKitC-V4 board with the Pthread.h library in Arduino IDE 1.8.19 and I got an error. Trying to narrow down the error, I loaded an example code with the same library and still got the same error: #include <pthread.h> void *printThreadId(void *threadid) { Serial.println...