Listing 4. Buying and Selling Network Objects

(* in the server program *)
localSpreadsheet := NEW( Spreadsheet.T ).init();
NetObj.Export( "Spreadsheet_Server",
   localSpreadsheet );

(* in the client program *)
address := NetObj.Locate();
remoteSpreadsheet := NetObj.Import(
   "Spreadsheet_Server", address
);