Constant SELINUX_MAGIC 

pub const SELINUX_MAGIC: u32 = 4185718668; // 4_185_718_668u32