Constant DEVPTS_SUPER_MAGIC 

pub const DEVPTS_SUPER_MAGIC: u32 = 7377 /* 7_377u32 */;