#include "types.h"

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

void put_string(char* s);

void put_char_fast(char c);
void put_string_fast(char* s);