Mario is a Nintendo character.