Symbol: bi_add