Geordnet:
neu eingesetzt bzw. Wert ersetzt keys[mid] wird verglichen verschoben bzw. Ergebnis außerhalb von lo..hi frei (null)
Java (eigene Fassung, nach Algorithmus 3.2, Listings 3.5, 3.7, 3.8)
Protokoll