pub const DOUBLE_PUSH: u8 = 1;