though Mario was known as Jumpman back then. In the movie, the name of this arcade ... it to work — a joke that will surely make all the parents in the audience feel as old as dirt.