mario is the main character of the video game