### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[error] <...>/count-fail.spicy:5:3: cannot coerce expression 'True' of type 'bool' to type 'uint<64>'
[error] spicyc: aborting after errors
