[gambit-list] *** ERROR IN ##read-line -- The pipe has been ended.