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