pub const leftpointer: Key;