> -- Илья Ермаков писал(а):
> Гарантирована. Семантика импорта предполагает, что к началу "жизни" модуля A (т.е. моменту его инициализации, независимо от того, есть дин. загрузка или нет) все импортированные им модули готовы к использованию. Т.е. инициализированы. Ациклический направленный граф простым и ясным образом задаёт частичный порядок инициализации. Что частичный - пугать не должно, т.к. неупорядоченными остаются только независящие друг от друга модули.Конечно, если разрешить циклическое использование модулей - вот тогда возникает букет проблем типа элабораций и проч.

Тут имеется один нюанс.

## Код:
```
MODULE A;
   VAR a* : INTEGER;
 BEGIN
   a:=0;
 END A.

 MODULE B;
   IMPORT A;
   VAR b* : INTEGER;
 BEGIN
   b:=A.a;
   A.a:=a+1;
 END B.

 MODULE C;
   IMPORT A;
   VAR c* : INTEGER;
 BEGIN
   c:=A.a;
   A.a:=a+1;
 END C.
```


Что будет в B.b и что будет в C.c ?