\File{figureS\-15.py},{14:52},{May 13 1990}
\L{\LB{SMUX \K{DEFINITIONS} ::= \K{BEGIN}}}
\L{\LB{}}
\L{\LB{\K{IMPORTS}}}
\L{\LB{    ObjectName}}
\L{\LB{}\Tab{8}{\K{FROM} RFC1155\-SMI}}
\L{\LB{}}
\L{\LB{    PDUs}}
\L{\LB{}\Tab{8}{\K{FROM} RFC1156\-SNMP;}}
