Then the error is at the policy level. The return value has meaning, hence it's wrong to use void functions there. (In pure function call proxy code, like e.g. the Remote module, one has to accept that the return value is propagated even if it's garbage. Then the matter rests with the caller at the other side.)