Ya me acordé: sí, se llamaba Mario, porque después pasé a decirle Supermario. No porque fuera muy bueno para algo, más bien porque era idéntico al muñeco del videojuego. Chaparrín, de bigote, asalariado, ingeniosito, y además se hacía grande con un hongo.