1 2 3 4 5 6 7
// #include <syscall.h> char *readline() { // return (char *) syscall_read(); return "0"; }