sys_read() from /dev/stdin