Is there a position paper anywhere on the use of GPL tool (ex: gcc)  and
proprietary code.  For instance, can I use gcc to compile a proprietary c++
file and have the output be proprietary or is the output GPL'ed

Stephen