seen*
Closes the current input stream, as opened by see//11. Standard input stream goes to the original ùser_input`.