static char *VERSION_STRING = "@(#) @VERSION_NUMBER@ (@VERSION_DATE@)";