> > When x is C source, a specific input always results in the same binary artifact being generated.

> Umm. Nope: see GCC flags.

The flags are part of the input, so `f(x) -> y`. You don't get `f(x) -> P(y)`.

You do know the difference between `y` and `P(y)`, right?