micropython-lib/io/io.py