#ifndef CRASHPOWEROS_STDIO_H
#define CRASHPOWEROS_STDIO_H
#include <stdint.h>
#include <stddef.h>
void put_char(char a);
#endif