for the Nintendo Entertainment System (NES ... Mario ever appeared in, predating the original Super Mario Bros., though Mario was known as Jumpman back then. In the movie, the name of this arcade ...