#include char getch() { return (char)syscall_readc(); }