Look for example at vcg.1.30/src/step1.c for an example of the
obfuscator output. This is not source within the meaning of the GPL.
A strict view would say that given a GPLed program without full
source, we cannot distribute it at all
I would take that view.