#include <stddef.h>
#include <system.h>
#include <terminal.h>

void terminal_print (const char* string, size_t len) {
  device_do ("TERMINAL", TERMINAL_PUTSTR, (void*)string, &len, NULL, NULL);
}