John cena as a mario character in mario 64