micropython/tests/basics/import1a.py