void * GC_pthread_start(void * arg) { return GC_call_with_stack_base(GC_pthread_start_inner, arg); }
void on_thread_exit (void *v) { GC_call_with_stack_base (on_thread_exit_inner, v); }
DWORD WINAPI GC_win32_start(LPVOID arg) { return (DWORD)(size_t)GC_call_with_stack_base(GC_win32_start_inner, arg); }