micropython/unix/coverage-frzstr/frzstr1.py