bug in uint256_t fixed (wrong accessing pattern to array elements)