### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[error] terminating with uncaught exception of type hilti::rt::Overflow: integer overflow (<...>/size-overflow.spicy:10:11)
