A custom MIDI player for Ketzev