asclass InputStreamPlusReadFully extends InputStream {
  abstract void readFully(byte[] buf) throws IOException;
}