micropython/tests/io/file-stdio.py