/* Print the version number.  */ /* $Id: version.h,v 1.3 1997/04/07 01:07:00 eggert Exp $ */ void version PARAMS ((void));