On this page:
play-wav
Version: 4.2

2.1 "audio"

(include-book "audio" :dir :teachpacks)

(play-wav file async)  booleanp
  file : stringp
  async : booleanp

Plays the .WAV file named by file, returning whether or not the file was playable. If async is nil, it does not return until the file is complete, otherwise it returns immediately.