// #include <syscall.h>

char *readline()
{
    // return (char *) syscall_read();
    return "0";
}