/* This function waits until all asynchronous function calls prior to @cookie have been done.  */
void async_synchronize_cookie(async_cookie_t cookie)
/* This function waits until all asynchronous function calls prior to @cookie have been done.  */
void async_synchronize_cookie(async_cookie_t cookie)
{
	async_synchronize_cookie_domain(cookie, &async_running);
}