pub type std_deque_pointer = u8;