micropython-lib/urllib/urllib.py