public close() as Void
Leaves the process-owned output open; this borrowed view remains usable.
output.close(); output.write("still open\n")