mario in interstellar