Constant DEVPTS_SUPER_MAGIC 

pub const DEVPTS_SUPER_MAGIC: u32 = 7377;