pub type std_vector_pointer = u8;