Migrate lots of window.pike local variables into a win[] mapping