> > 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 inp

> > 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?