Constant SMACK_MAGIC 

pub const SMACK_MAGIC: u32 = 1128357203;