Ironstream runs in 31-bit mode. Some address pointers are calculated with the Load Address instruction. If an address greater than x'40000000' must be added to another similar address, the resulting address loses the high order bit, and the address becomes invalid. Code has been improved to avoid this situation.