kico-r4/src/lib/adafruit_register/i2c_bcd_datetime.mpy