do not handle ctrl-D at the beginning of a line as EOF (except on ports like unix). So for instance, there's no way to terminate input when doing sys.stdin.readlines(). Is this something that should mimic CPython on an OS-less port? Some lower-level stream read routine could check...