#include <linux/version.h>

#ifndef UTS_RELEASE
#include <linux/utsrelease.h>
#endif

#include <stdio.h>
main()
{
	printf("%s", UTS_RELEASE);
}