#ifndef TERMINAL_H #define TERMINAL_H void terminal_initialize(void); void terminal_writestring(const char* data); #endif