public static extern ErrorType vector_operator_left_shift(VectorElementType type, IntPtr vector, IntPtr ofstream);
public static extern IntPtr vector_new(VectorElementType type);
public static extern void vector_delete(VectorElementType type, IntPtr vector);