Constant DEVPTS_SUPER_MAGIC 

pub const DEVPTS_SUPER_MAGIC: c_long = 0x1cd1;