{
  extern void XerZnaetKakayaFunkciyaFigZnaetGdeOnaOpredelena();
  XerZnaetKakayaFunkciyaFigZnaetGdeOnaOpredelena();
}

MODULE MyModule;

IMPORT L := StdLog;

BEGIN
  L.String("Привет!"); (* Компилятору сразу видно что вызывается процедура String() из модуля L := StdLog *)
END MyModule.

Алгол -> Паскаль* -> Модула -> Модула-2 -> Оберон -> Оберон-2 -> Component Pascal
                                             |
                                             +-----> Active Oberon

S>З.Ы. В самом популярном языке программирования для персоналок вообще оператор присваивания не отличается от оператора сравнения на равенство. Что не мешает миллионам людей осваивать его безо всяких Виртов.

Алгол -> Паскаль* -> Модула -> Модула-2 -> Оберон -> Оберон-2 -> Component Pascal
                                                |
                                                +-----> Active Oberon

VAR str: ARRAY 80 OF CHAR;
BEGIN
  str := "Привет!";

Д>И кстати говоря, упорный борец за простоту и понятность Вирт придумал такую замечательную вещь, как with. И не стыдно ему было других критиковать после этого?

TYPE
  Base = EXTENSIBLE RECORD
    ...
  END;

  T1 = RECORD (Base)
    ...
  END;

  T2 = RECORD (Base)
    ...
  END;

PROCEDURE MyProc(VAR x: Base);
BEGIN
  WITH x: T1 DO S1 | x: T2 DO S2 ELSE S3 END
END MyProc;

TYPE
  Base = EXTENSIBLE RECORD END;

  T1 = RECORD (Base)
    Str: ARRAY 80 OF CHAR;
  END;

  T2 = RECORD (Base)
    Value: INTEGER;
  END;

PROCEDURE MyProc(VAR x: Base);
BEGIN
  WITH x: T1 DO StdLog.String(x.Str) | x: T2 DO StdLog.Int(x.Value) ELSE StdLog.String("Не известный тип!") END
END MyProc;