<> <> <> <<>> <> <> <> <<>> <> <<>> Pup: CEDAR DEFINITIONS = { BYTE: TYPE = [0..100H); <> <> <> <> <> <<>> <> <> <> <> <<>> <> <> <> <> <<>> Address: TYPE = MACHINE DEPENDENT RECORD [net: Net, host: Host, socket: Socket]; Net: TYPE = RECORD [BYTE]; <<0 means unknown/default.>> Host: TYPE = RECORD [BYTE]; <<0 is broadcast. 377 is reserved for unknown/default.>> Socket: TYPE = RECORD [a, b, c, d: BYTE]; <<[0,0,0,0] is reserved for unknown/default.>> <> <> <<>> nullNet: Net = [0]; nullHost: Host = [377B]; -- 0 is broadcast, not a good default nullSocket: Socket = [0,0,0,0]; <> nullAddress: Address = [nullNet, nullHost, nullSocket]; <> <> <> <<>> allNets: Net = [0]; allHosts: Host = [0]; }.