micropython/tests/bytecode/mp-tests/import2.py