ImportsFrom DEFINITIONS AUTOMATIC TAGS ::=
BEGIN

IMPORTS Int FROM ImportsFrom2;
i Int ::= 42

END