Lines Matching defs:add_with_carry