void rtc_init(void);
mp_obj_t pyb_rtc_read(void);