“Nintendo nunca deu um sobrenome oficial a Mario, mesmo que “Mario Bros” sugira que seja “Mario Mario” o nome completo.”