Constant WINDOW_MIRRORED_GLOBALS 

const WINDOW_MIRRORED_GLOBALS: &[&str];

window. 経由でも読めるようにするグローバル名。

ブラウザではグローバルと window のプロパティは同じ物を指す。 この処理系は別々に持っているので、写して差を埋める。