What SM64DS Jingles Are These?

I’m planning on making a soundtrack for Super Mario 64 DS but there are two jingles that i have no idea where they play in the game.
In the game’s files, I discovered what they are referred to:

NCS_BGM_HAPPY
NCS_BGM_OVERSLOT

Here’s a YouTube video of what they sound like:
https://www.youtube.com/watch?v=cd3NQ_AnXF0

So, when someone finds out where they’re used, I can officially name them and when I finish the soundtrack, I’ll post a thread with a download link.

Ciao!

The second on is an unlocked sound effect, I could be wrong though.

The second on is an unlocked sound effect, I could be wrong though.

The minigame game over theme is called NSC_BGM_MINIOVER so it cant be it… but i have tried to do some research on the other sound