PROCEDURE Step (VAR cur, divisor: INTEGER; f: TextMappers.Formatter);
      VAR end, sqrtCur: INTEGER;
   BEGIN
      end := divisor + stepSize;
      sqrtCur := SHORT(ENTIER(Math.Sqrt(cur)));
      WHILE (divisor <= sqrtCur) & (divisor < end) & (cur MOD divisor # 0) DO divisor := divisor + 2 END;
      IF divisor > sqrtCur THEN   (* cur is a prime *)
         f.WriteInt(cur); f.WriteLn;
         divisor := 3; cur := cur + 2
      ELSIF divisor < end THEN   (* cur is not a prime, test next one *)
         divisor := 3; cur := cur + 2
      ELSE   (* time exhausted, continue test next time *)
      END
   END Step;

   PROCEDURE Do (t: Ct.Task) ;
      VAR a: PrimeAction; end, sqrtCur, n: INTEGER;
   BEGIN
      a := t(PrimeAction);
      FOR n := 0 TO a.attempts-1 DO
         a.current := 3; a.divisor := 3;
         REPEAT
            end := a.divisor + stepSize;
            sqrtCur := SHORT(ENTIER(Math.Sqrt(a.current)));
            WHILE (a.divisor <= sqrtCur) & (a.divisor < end) & (a.current MOD a.divisor # 0) DO
               a.divisor := a.divisor + 2
            END;
            IF a.divisor > sqrtCur THEN   (* cur is a prime *)
               IF n = 0 THEN
                  a.f.WriteInt(a.current); a.f.WriteLn
               END;
               a.divisor := 3; a.current := a.current + 2
            ELSIF a.divisor < end THEN   (* cur is not a prime, test next one *)
               a.divisor := 3; a.current := a.current + 2
            END
         UNTIL a.current > a.to;
         Co.Yield
      END;
      Co.Stop
   END Do;

   PROCEDURE (a: Action) Do ();
   BEGIN
      IF a.s.enabled THEN
         a.s.Step(a.s); Services.DoLater(a, a.s.p.interval)
      END
   END Do;

   PROCEDURE ProcessMessages;
      VAR msg: Win.MSG; res: INTEGER;
   BEGIN
      WHILE Win.PeekMessage(msg, 0, 0, 0, Win.PM_REMOVE) # 0 DO
         res := Win.TranslateMessage(msg); res := Win.DispatchMessageA(msg)
   END END ProcessMessages;