Stream.h should be included for completeness