#include <extensions/istream.h>
