Slightly improve audio synchronization.
Centralize MIDI locking.
Generalize timer infrastructure.