micropython/tests/unix/extra_coverage.py