#include "types.h"

void put_char(char c);
char get_char();

void put_string(char* s);