public close() as Void
Leaves standard input open; this borrowed view remains usable.
input.close(); count = input.readInto(buffer)