#ifndef STDIO_H #define STDIO_H #include <stdint.h> extern void printf(const char *format, ...); extern void setTextStyle(uint8_t newFormat); #endif