twelf/src/stream
