void gc_init(); unsigned int gc_number();