#ifndef __ISTREAM_HEADER_WRAPPER_
#define __ISTREAM_HEADER_WRAPPER_

#include <bits/../istream>
#include "extensions/istream.h"

#endif /* __ISTREAM_HEADER_WRAPPER_ */