if (Assert.VerifyAssertions) {
if (Assert.VERIFY_ASSERTIONS) {
  private final void checkIfSorted() {    if (Assert.VerifyAssertions) {      Address next, buf, end;      Word prevKey = Word.max();      end = tail;      buf = bufferStart(end);      while (buf.NE(HEAD_INITIAL_VALUE)) {	// iterate through the block	while (buf.LT(end)) {	  Address slot = buf.loadAddress();	  Word key = getKey(slot);	  if (Assert.VERIFY_ASSERTIONS) Assert._assert(key.LE(prevKey));	  prevKey = key;	  buf = buf.add(BYTES_IN_ADDRESS);	}	end = getPrev(end);	buf = bufferStart(end);      }    }  }