FOR byte := 60 TO P.Unsigned(255) DO

VAR
  byte: SYSTEM.SHORTCARD;
BEGIN
  byte := -1; REPEAT
    INC(byte);
    ...
  UNTIL byte = 255;

; Turbo Pascal
mov	byte_A03, 0 ; Начальное значение счётчика
mov	byte_A04, 0FFh ; Конечное значение счётчика
mov	al, byte_A04
mov	[bp+var_1], al
mov	al, byte_A03
cmp	al, [bp+var_1]
ja	short locret_64
mov	byte_A02, al
jmp	short loc_34
 
loc_30:
inc	byte_A02
 
loc_34:
 
; Тело цикла
 
mov	al, byte_A02
cmp	al, [bp+var_1]
jnz	short loc_30
 
locret_64:

; Delphi
		xor	eax, eax ; Начальное значение счётчика цикла
		mov	dl, 0FFh ; Конечное значение счётчика цикла
 
		mov	ebx, edx
		sub	bl, al
		jb	short loc_4038AC ; while (нач <= кон)
		inc	ebx
		mov	ds:byte_4054B4,	al
 
loc_403875:				; CODE XREF: CODE:004038AAj
		; Тело цикла
 
		inc	ds:byte_4054B4
		dec	bl
		jnz	short loc_403875
 
loc_4038AC:				; CODE XREF: CODE:0040386Dj
		; Конец цикла

	Unsigned__for__1 = Platform_Unsigned(255); (* Конечное значение цикла *)
	Unsigned_byte = 0; (* Начальное значение цикла *)
	while (Unsigned_byte <= Unsigned__for__1) {
 
		(* Тело цикла *)
 
		Unsigned_byte += 1;
	}

	Unsigned__for__1 = Platform_Unsigned(255); (* Конечное значение цикла *)
	Unsigned_byte = 0; (* Начальное значение цикла *)
	while (Unsigned_byte <= Unsigned__for__1) {
 
		(* Тело цикла *)
 
		if (Unsigned_byte == Unsigned__for__1) break;
		Unsigned_byte += 1;
	}

	Unsigned__for__1 = Platform_Unsigned(255); (* Количество повторений цикла - 1 *)
	if (Unsigned__for__1 >= 0) {
		Unsigned_byte = 0; (* Начальное значение цикла *)
		do {
 
		(* Тело цикла *)
 
		Unsigned_byte += 1;
		} while (Unsigned__for__1-- != 0);
	}

v := 0; (* Начальное значение счётчика цикла *)
temp := P.Unsigned(255); (* Конечное значение счётчика цикла *)
step := 1; (* Шаг приращения счётчика (со знаком) *)
IF step > 0 THEN
  IF v <= temp THEN v := v - step; REPEAT v := v + step; statements UNTIL v >= temp END;
ELSE
  IF v >= temp THEN v := v - step; REPEAT v := v + step; statements UNTIL v <= temp END;
END;

VAR x,A,B:T; 	(* все эти величины принимают значения в границах типа Т*)
…		(*здесь А и В получает какие-то значения в границах Т*)
FOR x := A TO B DO (* выполняется некая обработка в границах A..B, а поскольку
			А,В в границах T, то и обработка, как логично ожидать, будет
 			протекать только в этих  границах*)
…			
END; 

Связное подмножество целых чисел T задано своими границами MIN(T)..MAX(T). Связная подобласть этого подмножества задана границами А..B (MIN(T)<=A,B<=MAX(T)). 
Требуется обработать все элементы подобласти в возрастающем порядке (если A>B, то подобласть считать пустой и ничего с ней не делать).