char *compiled = "@(#) Code Generator 4.3 - Fri Dec 30 14:15 1983";