GLR_EOF
case GLR_EOF:
case GLR_EOF:
case GLR_EOF:
case (GLR_EOF):
gl_record_status(gl, GLR_EOF, 0);
gl_record_status(gl, GLR_EOF, 0);
case GLR_EOF: /* regardless of the I/O mode. */
gl_record_status(gl, GLR_EOF, 0);
gl_record_status(gl, GLR_EOF, 0);