pub const __LINUX__: u32 = 1;