That is wrong it should be something likePROCEDURE WriteAttr (VAR wr: Stores.Writer; a: Attributes)
Read an attributes object; in case the reader returns an alien store, the store is wrapped into an alien attributes object and the wrapper is returned.
PROCEDURE WriteAttr (VAR wr: Stores.Writer; a: Attributes)
Writes an attributes object. In case a is an alien attributes object, its contained alien stores is unwrapped and written.