/* @configure_input@ */ const char version[] = "@PACKAGE_NAME@ @PACKAGE_VERSION@";