What was the first video game to call Mario by the name Mario?
Donkey Kong, Jr.
Donkey Kong
Wrecking Crew
Pac-Man Meets Mario