void write(...) const;