SMUX DEFINITIONS ::= BEGIN

IMPORTS
    ObjectName
	FROM RFC1155-SMI

    PDUs
	FROM RFC1156-SNMP;