CPP13 — Issue with valuetypes & inout/out parameters

The CORBA 2.3 C++ specification, section 1.22 states that valuetypes
passed as in parameters to an invocation of an object are copied, even
if the object is collocated with the caller. It does not make this
statement for inout or out parameters (or return results), which
strongly suggests that valuetype copying is not necessary. In fact, the
text for valuetype inout parameters strongly suggests that copying is
not performed.

I think this is wrong and inout & out valuetypes should be copied as
well (inout parameters should be copied before and after the invocation,
while out and return values should be copied after the invocation
completes.) Without the copies, call transparency will be broken and
the client can distinguish between a local and a remote call.