### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[warning] <...>/count-fail.spicy:5:14-5:25: &count=N is deprecated, prefer '[N]' syntax
[error] <...>/count-fail.spicy:5:3-5:26: cannot coerce expression '0x1p-1' of type 'real' to type 'uint<64>'
[error] spicyc: aborting after errors
