Oops. The local alu must be 32 bits to contain the carry bit #16