As rightly suggested by rgareus (x42@github), JACK2's version of midi_dump.c is better in every possible aspect and should hence be copied.