begin {
  window w;
  window[int] wins;

  wins = windows;
  put itoa(wins.size);
  for (w in wins) {
    if (!mapped(w))
      put "(" + name(w) + ")";
    else
      put name(w);
  }
}