circuitpython/ports/esp32s2/common-hal/rtc/__init__.c