char *compiled = "@(#) Optimizer 4.3 - Thu Nov 17 15:13 1983";