a simple app that plays MIDI files