dwayne johnson as mario. mario bros