Constant rightpointer 

pub const rightpointer: Key;