Symbol: mul_add_c2