todo17--debugging buggy jukebox code