micropython/tests/import/import-pkg4.py