extern RTC_HandleTypeDef RTCHandle;
extern const mp_obj_type_t pyb_rtc_type;

void rtc_init(void);