(module audio-glue mzscheme
  (require (lib "mred.ss" "mred"))
  #;(require (lib "constants.scm" "acl2" "private"))
  (provide playx)
  (define (playx file async)
    (if (play-sound file (not (eq? async '())))
        't
        '())))