64-битный Марио на 32-х битах? Нинтендо никогда на такое не пошла бы, они ж конкурировали тогда. Единственно, на обложке милой игрушки 40 Winks (она, кстати, "про всяких бегающих трехмерных мульто-персонажей") было упоминание имени итальянского водопроводчика.