Quote from PLDI, use the same signal they do, Window.width