... anyone see the old super mario movie? http://m.imdb.com/title/tt0108255/