When using the earlephilhower/arduino-pico core with the TinyUSB backend, calling Serial.read/print/write before TinyUSBDevice.mounted() returns true crashes the chip.
The function in this file checks if the given stream is actually the Serial
port (USB CDC), and if so returns whether TinyUSB has been mounted or not. If it returns true, it is safe to read/write from/to the stream.
Definition in file PicoUSBInit.hpp.
#include <AH/Arduino-Wrapper.h>