void oswald_one_second_tick();
/* sets internal 'RTC' time */
-void oswald_set_time(u8t hour, u8t minute, u8t second, boolean clk24hr);
-void oswald_set_date(u8t day, u8t month, u16t year, boolean day_first);
+void oswald_set_time(uint8_t hour, uint8_t minute, uint8_t second, boolean clk24hr);
+void oswald_set_date(uint8_t day, uint8_t month, uint16_t year, boolean day_first);
void oswald_handle_button_press(watch_button button);
-void oswald_handle_accel_event(u8t x, u8t y, u8t z);
-void oswald_handle_ambientlight_event(u8t light_level);
+void oswald_handle_accel_event(uint8_t x, uint8_t y, uint8_t z);
+void oswald_handle_ambientlight_event(uint8_t light_level);
void oswald_handle_idle_event(void);
void oswald_one_second_tick(void);
void oswald_halfsecond_tick(void);