higeru Miyamoto and Eiji Aonuma (Screenshot: YouTube) If there’s one thing the Super Mario Bros. movie was good for, it was settling a long-standing dispute among video game geeks: Does Mario have a last name, and if so, is it also Mario?