When using the Arduino IDE standard sample "MultiSerial.ino" with Raspberry Pi Pico, does it work with the TinyUSB stack?

[HisashiKato]

On the Raspberry Pi Pico, select "MultiSerial.ino" in Examples of Arduino IDE, select USB Stack:"Adafruit TinyUSB"(TinyUSB for Arduino), and "Verify" (compile) it ends with a compilation error.
Selecting USB Stack:"Pico SDK" compiles successfully.
Is it because of my environment?
(Translated from Japanese to English using a translation site)

[HisashiKato]

I was just not inserting #include <Adafruit_TinyUSB.h>
Completed without incident.
I am very sorry for the trouble.