module DO; end DO.

fOR i := 1 To 10 bY 2 do .. eNd;

var date: date;
(* или:
var date: Date; *)

(* Модуль с ключевыми словами в верхнем регистре, экспортирующий
   тип и переменную *)
MODULE M1;
TYPE Do* = ...;
VAR do*: Do;
...
END M1.

(* Модуль с ключевыми словами в нижнем регистре, импортирующий
   элементы из M1 *)
module M2;
import M1;

(* Использование импортированного типа. Идентификатор "Do" может быть в любом регистре,
 напр. и как "DO" и пр., но допустим только один вариант применения: *)
var d1: M1.Do;
var d2: M1.Do;
(* var d2: M1.DO; -- ошибка, т.к. в модуле уже используется вариант M1.Do *)

(* Применение импортированной переменной. Аналогично, регистр идентификатора "do"
   может быть любым, но в единственном варианте: *)
...
begin
  d1 := M1.do;
  d2 := M1.do;
  ...
end;
...
end M2.

MODULE M1;
TYPE Do* = ...;
VAR do*: Do;
...
END M1.

module M2;
import M1;

(* использование типа M1.Do: *)
var d1: DO;
var d2: DO;

(* использование переменной M1.do: *)
...
begin
  d1 := Do;
  d2 := Do;
  ...
end;
...
end M2.

(* импортируется переменная и тип с указанием варианта имени
   для каждого идентификатора: *)
import M1(Do, type DO);

MODULE Test;

VAR
  i:LONGINT;
  x:SHORTREAL;

BEGIN
  x:=i;
  x:=1.0;
  x:=1.0+i;
END Test.

x:=SHORT(1.0)+i;

MODULE Test;

TYPE
  Arr = ARRAY 3,4 OF REAL;

PROCEDURE Do1 (): POINTER TO Arr;
  BEGIN
    RETURN NIL
  END Do1;

END Test.

PROCEDURE Do1 (): {identifier expected} POINTER TO Arr;