### 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:26: &count=N is deprecated, prefer '[N]' syntax
[error] <...>/count-fail.spicy:5:3-5:27: cannot coerce expression 'True' of type 'bool' to type 'uint<64>'
[error] spicyc: aborting after errors
