module Stream = Stream