A dream I had about Mario 64