1KKDCP { } 2 3DEFINITIONS EXPLICIT TAGS ::= 4 5BEGIN 6 7KDC-PROXY-MESSAGE ::= SEQUENCE { 8 kerb-message [0] OCTET STRING, 9 target-domain [1] GeneralString OPTIONAL, 10 dclocator-hint [2] INTEGER OPTIONAL 11} 12 13END 14