As discussed offline, the `repeat ""` is to indicate end of input.