i guess the docs for Stdio.File()->peek() should be fixed then, because they say:
Returns 1 if there is data available to read
?? As far as I can see, the documentation says the following:
*! Check if there is data available to read, *! or wait some time for available data to read. *! *! More specifically, a later call to @[read()] will return *! immediately, either due to data being present, or due to *! some error (eg if a socket has been closed).