void Gtk_spin_button_configure(int ARI, ei_x_buff *XBUF, char *B, int *I){
gboolean Gtk_spin_button_configure(int ARI, ei_x_buff *XBUF, char *B, int *I){
void Gtk_spin_button_configure(int ARI, ei_x_buff *XBUF, char *B, int *I){  GtkSpinButton* object;  GtkAdjustment* adjustment;  gdouble climb_rate;  guint digits;  /* no return value */  if ( ! gn_check_arity(XBUF, 4, ARI) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_SPIN_BUTTON, (GObject**)&object) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_ADJUSTMENT, (GObject**)&adjustment) ) return;  if ( ! gn_get_arg_gdouble(XBUF, B, I, &climb_rate) ) return;  if ( ! gn_get_arg_guint(XBUF, B, I, &digits) ) return;  gtk_spin_button_configure(object, adjustment, climb_rate, digits);  gn_put_void(XBUF);}