### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[error] <...>/width-fail.spicy:9:8-12:6: upper limit is beyond the width of the bitfield
[error] <...>/width-fail.spicy:9:8-12:6: lower limit needs to be lower than upper limit
[error] spicyc: aborting after errors
