;; /tmp/bigloo/api/wav/src
;; Tue Dec 18 14:27:16 2018

(
  (__wav_padec "bigloo.wav.wav_padec")
  (__wav_alsadec "bigloo.wav.wav_alsadec")
  (__wav_decoder "bigloo.wav.wav_decoder")
  (__wav_wav "bigloo.wav.wav")
  (__wav_makelib "bigloo.wav.make_lib")
)

