pub const LINUX_VERSION_CODE: u32 = 393984;