```js
var keys = System.keys();
var tmp;
while ((tmp = keys.next()).done) {
  var key = tmp.value;
  ...
}
```