micropython/tests/import/import1a.py