Watch any Super Mario Odyssey trailer and you can be assured that “Jump Up Super Star,” the game’s main theme will get stuck in your head.

To make the catchy tune even catchier, Nintendo’s adapted the entire song into something that would be totally at home on Broadway. Pauline sings the unexpected hit of the summer while Mario bounces around New Donk City. Our favorite plumber jumps around, possesses at least one fan with his magic hat and yes, even gets his groove on. With an ensemble of backup dancers, no less.

Eat your heart out, Lin-Manuel Miranda.