High-quality MPEG audio decoder