mbed-os/libraries/tests/usb/device/midi/main.cpp

#include "mbed.h"
#include "USBMIDI.h"

USBMIDI midi;
Serial pc(USBTX, USBRX);

int main(void)
{
    while(1);
}