Part 6 - recovering index values

To decide which number is the index of the buffer:
    complete line;
    decide on the index of the last buffer.

To decide which number is the index of the last buffer:
    let k be the hash of the buffer;
    if k is not zero and there is a hash of k in the Table of Hash Numbers, decide on the index corresponding to a hash of k in the Table of Hash Numbers;
    decide on 0.

Text Variations2 by Jon Ingold ends here.