>Wicked! Which directory in CVS and is it tagged? Yes, it's tagged, in plt/src/mred/wrap/mred.ss. So you need to rebuild MrEd. But it's no great trick -- it just calls `play', the interface to sox on RedHat and Debian (and possibly other Linuxes). Before, play-sound did a cat to /dev/audio, which was truly horrible. -- Paul