void reset_trickletimer(void);
void init_trickle(int Imin, int Imax, int k);
void increment_trickle_counter(void);
void trickle_timer_over_callback(void);
void trickke_intervall_over_callback(void);