Symbol: __split_add_bits