char isc_version[] = VERSION;