### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[error] <...>/validation.hlt:11:8: integer type's width must be one of 8<...>/64, but is 65
[error] <...>/validation.hlt:12:8: integer type's width must be one of 8<...>/64, but is 0
[error] <...>/validation.hlt:12:17-14:15: type 'void' cannot be used for variable declaration
[error] <...>/validation.hlt:15:12-16:12: type 'Foo::U' cannot be used for variable declaration
[error] <...>/validation.hlt:19:5: function must return a value
[error] <...>/validation.hlt:23:5: cannot coerce expression '42' of type 'uint<64>' to type 'void'
[error] <...>/validation.hlt:23:5: void function cannot return a value
[error] <...>/validation.hlt:31:5: cannot coerce expression '("1" == "2")' of type 'bool' to type 'real'
[error] <...>/validation.hlt:32:10: unsupported operator: <string> == <uint<64>>
[error] hiltic: aborting after errors
