#include int linux_version_code() { return LINUX_VERSION_CODE; }