void read(istream& in)