Constant dead_u 

pub const dead_u: Key;