#ifndef STDIO_H #define STDIO_H #include <stdint.h> extern void printf(const char *format, ...); extern uint32_t strlen(char *string); #endif