asyncio: sync with Tulip