Constant dead_U 

pub const dead_U: Key;