inline DummyIterator operator+(int j) const { return DummyIterator(i+j); }
inline DummyIterator operator-(int j) const { return DummyIterator(i-j); }
//! Helper for construction of a dummy interator inline DummyIterator makeDummyIterator() { return DummyIterator(); }