FASCINATION ABOUT WHAT IS A SOURCE FILE

I just was not clear no matter whether you had been expressing that this is allowed by C's very own principles. Now i see that you are saying It is just a standard extension and in order to avoid it if you want your code to get moveable. So I am able to upvote you without having doubts. Really excellent remedy IMHO :) The correctness proof with th