though Mario was known as Jumpman back then ... the movie is called Disk-Kun, a reference to Diskun, the mascot of Japan's Famicom Disk System. Mario has a model spaceship in his room that ...