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 );
}