modify stream.h int64