// #include <syscall.h>

char getch()
{
    // return ((char *) syscall_read())[0];
    return 0;
}