Examples in asyncio