<> <> <> <> <> TimeStamp: DEFINITIONS = BEGIN Stamp: TYPE = RECORD [net, host: [0..377B], time: LONG CARDINAL]; Null: Stamp = Stamp[net: 0, host: 0, time: 0]; END.