The end-of-file can be entered at the terminal by keying in a logical line that consists of the two characters “/*”. Any further attempts to use the file without closing it result in the ENDFILE condition being raised.