void         gc_init();
unsigned int gc_number();