Symbol: satAddNComparebit32