#include <linux/version.h>
#ifndef UTS_RELEASE
#include <linux/utsrelease.h>
#endif
#include <stdio.h>
main()
{
printf("%s", UTS_RELEASE);
}