#include <stdio.h>
#if defined(__is_libk)
#include <kernel/tty.h>
#endif
int putchar(int c)
{
char ch = (char)c;
terminal_write(&ch, sizeof(ch));
#else
return c;
}