If a = b and b = c it follows that a = c.

Here is a better picture. I claim that what will be going through C is this shaded parallelogram to the left of C.

We also give you a migration sample (in C/C++) to demonstrate the migration in detail.