docs: void openBuffer() {
      if(buffer == null) {
        try {
          buffer = input.map(MapMode.READ_ONLY, 0, input.size());
        }
        catch(IOException e) {
          throw new AbortException("Cannot map input bundle.", e);
        }
      }
    }