void int_vector_reset__(void * __vector) { int_vector_type * vector = int_vector_safe_cast( __vector ); int_vector_reset( vector ); }
void int_vector_iget_invalid( void * arg ) { int_vector_type * ivec = int_vector_safe_cast( arg ); int_vector_iget(ivec , -1 ); }