Thinking with Portals in Mario 64