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