De él viene el nombre de Mario, personaje de Nintendo.