void start_flashing_light(void); void stop_flashing_light(void);