. . . "Sounds are distributed in WAV (wave), MIDI and other file formats." .