Re: end-of-input signal