<> <> <> <> DIRECTORY XNS USING [Address, Socket]; CourierBindingProtocol: CEDAR DEFINITIONS ~ { <> <> CARD: TYPE ~ LONG CARDINAL; Address: TYPE ~ XNS.Address; Socket: TYPE ~ XNS.Socket; Range: TYPE ~ RECORD [ lowVersion: CARDINAL, highVersion: CARDINAL ]; <> <<>> newprogram: CARD ~ 82; program: CARD ~ 404; version: CARDINAL ~ 1; nullproc: CARDINAL ~ 0; bind: CARDINAL ~ 1; socket: Socket ~ [3, 232]; -- 1000 <> RequestBody: TYPE ~ RECORD [ program: CARD, versions: Range ]; ResponseBody: TYPE ~ RECORD [ versions: Range, me: Address ]; ArgList: TYPE ~ LIST OF RequestBody; }...