Then, when you go back to the Mario All Stars menu, you can select from any ... 8 by using the warp whistle in World 7 once. On the title screen, press A, B, L, and R all at the same time.

In that case, The Super Mario Bros. Movie could wind up retaining its title as one of 2023’s highest grossers (probably top two or top three in this scenario) deep into summer movie season ...