#include "pico/stdlib.h" void temps_cycle_check(); void temps_cycle_reset(); void temps_cycle_display(); uint32_t temps_cycle_get_min(); uint32_t temps_cycle_get_max();