Если игра называется Супер братья Марио, значит полное имя Марио - Марио Марио х_Х
Интересно, а отчество у него какое? Когда уже нинтендо соизволит нам предоставить отца Марио и Луиджи?