extract audio from video on smartphone

Have you come across a video with a song that you want to use for your Instagram Reel? Whatever the reason, there are times when you just want the audio from a video file.