#ifndef INC_UTIL_H #define INC_UTIL_H #include <stdint.h> void set_error_led(); #endif // INC_UTIL_H