if (a.text === level) {
                                a.click();
                            }
                        });

                        var divider = document.createElement("hr");
                        divider.style.margin = "5px";
                        var tip = document.createElement("small");

    int bytesToCopy = bufferSize - buffer.position();
    for (int i = 0; i < bytesToCopy; i++) {
      buffer.put(readBuffer.get());
    }
    munch(); // buffer becomes empty here, since chunkSize divides bufferSize

    // Now process directly from the rest of the input buffer
    while (readBuffer.remaining() >= chunkSize) {
      process(readBuffer);
    }