<> <> IPOut: CONFIGURATION LINKS: CODE IMPORTS FileIO, Ieee, Inline, IO, Real, Rope EXPORTS IPEncodingOut, IPOperatorOut CONTROL IPEncodingOutImpl, IPOperatorOutImpl = BEGIN IPEncodingOutImpl; IPOperatorOutImpl; END. <> <>