micropython/tests/import/ext/sys.py