high-quality mpeg audio decoder
