<> <> DIRECTORY WindowManager; MonitorToolDefs: DEFINITIONS = { StartMonitor: PROCEDURE [screenWidth, screenHeight, refreshRate, bitsPerPixel: CARDINAL, hBlankTime, vBlankTime: REAL, pos: WindowManager.ScreenPos _ left, NTSCBoard: BOOLEAN _ FALSE, interlace: BOOLEAN _ TRUE]; }.