Bernd Trog wrote:

This shows, IMHO, that the bug is related to the encoding/decoding of
Integers when the target Integer'Size is 16 bit.

Comments? Ideas?

None at all, Uint should have nothing to do with target
integer size, so you must somehow have some confusion!

Reply via email to