#define VERSION "1.3.4"

static void
version(const char *progname)
{
	printf("%s " VERSION "\n", progname);
}