SDL_mixer get music play-time

It looks as though there isn’t an easy way to finding out how far through the music is - you step through a buffer, but you would need to record the initial buffer position and then calculate from that, which would be fiddly.