Raspberry Pi Pico board support includes the USBMIDI.h header from MBed OS, but it doesn't seem to work. When USBMIDI::write is called it prints a garbage character to the serial console and crashes.

I expected it either to work or result in some kind of compile error.

Sample code attached.

pressure_sensor_test.ino.txt