mul1 codebook, MCG 0x83DCD12D, all 65536 trellis windows
  decoded value range      : [-128, 124]
  int8 range               : [-128, 127]
  headroom below / above   : 0 / 3
  saturation events        : 0
  -> clamp is DEAD; ELIDE_CLAMP is sound for this codebook
  bytesum needed to saturate high: 1021 (max possible is 1020)
  index that would give bytesum=1020: 0x7E8D595B (is NOT a 16-bit window)

control: configurations that must report the clamp LIVE
  offset 493 (saturates HIGH)                 : range [-124, 128]  saturations=1  LIVE
  offset 513 (saturates LOW)                  : range [-129, 123]  saturations=1  LIVE
  multiplier 0xFFFFFFFF                       : range [-128, 127]  saturations=0  dead
  multiplier 0x01010101                       : range [-128, 127]  saturations=0  dead
  -> control fires on 2 arm(s); the checker can report LIVE

CLAMP REACHABILITY: PASS
