JS: go through global identifiers (window.|).