void Gtk_rc_add_default_file(int ARI, ei_x_buff *XBUF, char *B, int *I){
gboolean Gtk_rc_add_default_file(int ARI, ei_x_buff *XBUF, char *B, int *I){
void Gtk_rc_add_default_file(int ARI, ei_x_buff *XBUF, char *B, int *I){  gchar* filename;  /* no return value */  if ( ! gn_check_arity(XBUF, 1, ARI) ) return;  if ( ! gn_get_arg_gchar(XBUF, B, I, &filename) ) return;  gtk_rc_add_default_file(filename);  free(filename);  gn_put_void(XBUF);}