<> <> DIRECTORY MonitorToolDefs; StartHRM: PROGRAM IMPORTS MonitorToolDefs = { MonitorToolDefs.StartMonitor[screenWidth: 1024, screenHeight: 768, refreshRate: 30, bitsPerPixel: 8, hBlankTime: 6, vBlankTime: 850, pos: right]; }.