Symbol: BIT_addBits