A software-based audio player for Android