micropython/tests/unicode/unicode_str_modulo.py