../../Task/GUI-Maximum-window-dimensions/XPL0