taglinefilesource code
midi_synth_close8drivers/sound/midi_synth.hvoid midi_synth_close (int dev);
midi_synth_close32drivers/sound/midi_synth.hmidi_synth_close,