$use Dos StdIO;

Main =
  <Delay 2000>, // 2 seconds
  <PrintLN OK>;