void print_to_terminal(char *text) { printf("%s", text); }