I further propose that if json-stream-reader gets an eof-object in the same circumstances, that it pass 'json-eof and an unspecified value to the caller's procedure.

John Cowan          http://vrici.lojban.org/~cowan        xxxxxx@ccil.org
   There was an old man                Said with a laugh, "I
     From Peru, whose lim'ricks all      Cut them in half, the pay is
       Look'd like haiku.  He              Much better for two."
                                             --Emmet O'Brien