STREAM_EXT: string[] = ...