On this page:
play-wav

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.