* FIXME in midi_util.h