return TRUE;
void Gtk_icon_size_register(int ARI, ei_x_buff *XBUF, char *B, int *I){  gchar* name;  gint width;  gint height;  GtkIconSize R; /* return value */  if ( ! gn_check_arity(XBUF, 3, ARI) ) return;  if ( ! gn_get_arg_gchar(XBUF, B, I, &name) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &width) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &height) ) return;  R = gtk_icon_size_register(name, width, height);  free(name);  gn_put_enum(XBUF,"GtkIconSize",R);}