A more sophisticated MP3 encoder can produce variable bitrate audio