#ifndef CRASHPOWEROS_STDIO_H
#define CRASHPOWEROS_STDIO_H

#include <stdint.h>
#include <stddef.h>

void put_char(char a);

#endif