An MP3 decoder is actually relatively tiny: https://github.com/lieff/minimp3 shows that it can be done in ~30KB of code. It's everything else around the player, such as the UI, that takes up the bulk of the size.