<> <> <> <<>> <> <> <> <> <<>> IP: CEDAR DEFINITIONS = { BYTE: TYPE = [0..100H); <> Address: TYPE = RECORD [a, b, c, d: BYTE]; nullAddress: Address = [0, 0, 0, 0]; Net: TYPE = {a, b, c}; netMasks: ARRAY Net OF Address = [ a: [0FF, 0, 0, 0], b: [0FF, 0FFH, 0, 0], c: [0FF, 0FFH, 0FFH, 0] ]; NetType: PROC [address: Address] RETURNS [Net]; NetNumber: PROC [address: Address] RETURNS [Address]; }.