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

USBMIDI midi;
Serial pc(USBTX, USBRX);

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