a := b + c