That's a bit scary honestly. Thank God there's more than one media player in existence. And also, this is why we make code open source. So that we can find flaws and fix them more quickly.