1ImportsFrom DEFINITIONS AUTOMATIC TAGS ::=
2BEGIN
3
4IMPORTS Int, Quoted-Seq FROM ImportsFrom2;
5i Int ::= 42
6My-Seq ::= Quoted-Seq
7
8END
9
10
11