Renamed a few variables in examples/asyncio-prompt.py