void vector_free__( void * arg ) { vector_free( vector_safe_cast( arg )); }
static void read_erroneous_gen_kw_file( void * arg) { vector_type * arg_vector = vector_safe_cast( arg ); gen_kw_config_type * gen_kw_config = vector_iget( arg_vector, 0 ); const char * filename = vector_iget( arg, 1 ); gen_kw_config_set_parameter_file(gen_kw_config, filename); }