docs: public void open(String file) throws IOException {
              filename = file;
              if(fd>0) {
                  throw new IOException("File "+filename+" already open.");
              }
              fd = WDT.open(file);
              if(fd<0) {
                  throw new IOException("Cannot open file handle for " + filename + " got " + fd + " back.");
              }
      }