Constant __gnu_linux__ 

pub const __gnu_linux__: u32 = 1;