const char id[] = "@(#)@PACKAGE@ version @VERSION@, @RELDATE@.";