<<>> <> <> <> <> <> <> TimeStamp: DEFINITIONS = BEGIN Stamp: TYPE = MACHINE DEPENDENT RECORD [net: BYTE, host: BYTE, pad1: BYTE ¬ 0, pad2: BYTE ¬ 0, time: CARD32]; Null: Stamp = [net: 0, host: 0, pad1: 0, pad2: 0, time: 0]; END.