/*6:*/
#line 90 "gb_flip.w"

#define gb_next_rand()(*gb_flip_ptr>=0?*gb_flip_ptr--:gb_flip_cycle())
extern long*gb_flip_ptr;
extern long gb_flip_cycle();

/*:6*//*11:*/
#line 218 "gb_flip.w"

extern void gb_init_rand();

/*:11*//*13:*/
#line 250 "gb_flip.w"

extern long gb_unif_rand();

/*:13*/