Given the "write output" loop, the circular buffer has to hold the differences between successive entries (OK, after the first one, the difference between 0 and

Given the "write output" loop, the circular buffer has to hold the differences between successive entries (OK, after the first one, the difference between 0 and the minimum)--presumably in some variable-length encoding. Next thing to figure out: how to set an upper bound on the circular buffer size, and just what those magic numbers in LUT[] really are.