void gc_release();