/*3:*/
#line 74 "gb_sort.w"

#line 4 "gb_sort.ch"
extern void gb_linksort(void*);
#line 76 "gb_sort.w"
extern char*gb_sorted[];

/*:3*/