micropython/ports/esp32/boards/UM_TINYS3/modules
..
tinys3.py