Если есть динамический загрузчик, то действительно сложно гарантировать порядок загрузки, так как модуль может быть уже загружен. Но что если динамического загрузчика нет, а есть только статическая линковка, как в XDS или Exaprog Oberon. Можно ли для случая статической линковки порядок инициализации задавать путем определенного порядка в секции IMPORT? Или же лучше отдельно предусмотреть возможность изменения порядке инициализации, без изменения исходного кода, то есть без изменения порядка следования модулей в секции IMPORT?