#include <stdio.h>
#if defined(__is_libk)
#include <rockos/tty.h>
#endif
int putchar(int ic) {
char c = (char) ic;
terminal_write(&c, sizeof(c));
#else
// TODO: Implement stdio and the write system call.
return ic;
}