void readBuffer(List<int> buffer, int count) { if (read(buffer, count) != count) { throw EDatabaseError("Stream read error"); } }