I think there should be a 0x7F mask on the adc so that this is packed appropriately no matter what the inputs are.
... an assert of adc to be below 128 is another option.